2845 search results - page 329 / 569 » Constraints over Ontologies |
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
PERCOM
2007
ACM
14 years 10 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
EWSN
2006
Springer
14 years 10 months ago
2006
Springer
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper introduces an approach for enabling existing multi-view stereo methods to operate on extremely large unstructured photo collections. The main idea is to decompose the c...
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...