3256 search results - page 630 / 652 » Applications of Formal Methods to System Design and Verifica... |
115
click to vote
ICDE
2012
IEEE
13 years 2 days ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
ICDCSW
2000
IEEE
15 years 2 months ago
2000
IEEE
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...
69
Voted
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Analysis of web site usage data involves two significant challenges: firstly the volume of data, arising from the growth of the web, and secondly, the structural complexity of web...