Italiano (it)research topics
-
-
PAVAL validation data: Paval: A Location Aware Virtual Personal Assistant for re-trieving geolocated Points of Interest and Location-Based ServicesAlong with the recent ICT developments and the increasing growth of Internet and social media, we are currently experiencing an expanding information overflow, often resulting in a lack of focus ...937 Hits Rating
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...517 Hits Rating
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines374 Hits Rating
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...547 Hits Rating
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines500 Hits Rating
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines486 Hits Rating
-
Optical Flow Estimation on Connection-Machine 2image processing, computer vision, motion analysis, optical flow estimation, optial flow computing246 Hits Rating
-
Analysis and Synthesis of Facial Motionsimage processing, computer vision, motion analysis, optical flow estimation, optial flow computing361 Hits Rating
-
A Vision System for Estimating People Flowimage processing, computer vision, motion analysis, optical flow estimation, optial flow computing392 Hits Rating