716 search results - page 94 / 144 » Rule Formats for Timed Processes |
COMPSAC
2009
IEEE
14 years 11 days ago
2009
IEEE
—Countless challenges to preserving a user’s location privacy exist and have become more important than ever before with the proliferation of handheld devices and the pervasive...
NEUROSCIENCE
2001
Springer
14 years 3 days ago
2001
Springer
Biological networks are capable of gradual learning based on observing a large number of exemplars over time as well as of rapidly memorizing specific events as a result of a sin...
ARITH
1999
IEEE
14 years 1 hour ago
1999
IEEE
Inverse square roots are used in several digital signal processing, multimedia, and scientific computing applications. This paper presents a high-speed method for computing invers...
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
BIOSYSTEMS
2008
13 years 7 months ago
2008
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...