1179 search results - page 163 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
140
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
129
click to vote
JASIS
2011
14 years 11 months ago
2011
Twitter, Facebook, and other related systems that we call social awareness streams are rapidly changing the information and communication dynamics of our society. These systems, w...
149
click to vote
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...
181
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
An important problem in mobile ad-hoc wireless sensor networks is the localization of individual nodes, i.e., each node’s awareness of its position relative to the network. In t...
136
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...