13591 search results - page 157 / 2719 » On the Implementation of Dynamic Evaluation |
168
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
140
click to vote
SP
2008
IEEE
16 years 28 days ago
2008
IEEE
Many basic tasks in computational biology involve operations on individual DNA and protein sequences. These sequences, even when anonymized, are vulnerable to re-identification a...
186
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...
192
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
194
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
An approach to recognizing human hand gestures from a monocular temporal sequence of images is presented. Of particular concern is the representation and recognition of hand movem...