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 ...735 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 ...469 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 machines340 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 ...484 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 machines439 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 machines434 Hits Rating
-
Optical Flow Estimation on Connection-Machine 2image processing, computer vision, motion analysis, optical flow estimation, optial flow computing226 Hits Rating
-
Analysis and Synthesis of Facial Motionsimage processing, computer vision, motion analysis, optical flow estimation, optial flow computing326 Hits Rating
-
A Vision System for Estimating People Flowimage processing, computer vision, motion analysis, optical flow estimation, optial flow computing373 Hits Rating
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1716010030 WHERE sid = 'fb6a6e453a3ed58a873d127032019c23' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128