1828 search results - page 300 / 366 » From Features to Semantics: Some Preliminary Results |
103
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
101
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
123
click to vote
JEI
2008
14 years 12 months ago
2008
Recent research has shown that it is possible to spoof a variety of fingerprint scanners using some simple techniques with molds made from plastic, clay, Play-Doh, silicon, or gela...
123
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
198
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...