4693 search results - page 728 / 939 » Verifying Hybrid Systems |
168
click to vote
SASO
2009
IEEE
16 years 20 days ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
154
click to vote
PET
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...
168
click to vote
SEMWEB
2009
Springer
16 years 14 days ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
156
click to vote
SIGCOMM
2009
ACM
16 years 13 days ago
2009
ACM
Counterfeit and expired pharmaceuticals are a significant problem in the developing world, constituting up to 80% of stock on pharmacy shelves. This is due both to poor existing ...
166
click to vote
AICCSA
2008
IEEE
16 years 13 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...