5015 search results - page 237 / 1003 » Model Checking a Path |
173
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
154
click to vote
DSN
2006
IEEE
16 years 14 days ago
2006
IEEE
Protecting the register value and its data buses is crucial to reliable computing in high-performance microprocessors due to the increasing susceptibility of CMOS circuitry to sof...
173
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
Quality of Service (QoS) routing algorithms have become the focus of recent research due to their potential for increasing the utilization of an Integrated Services Packet Network...
186
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
160
click to vote
NIPS
2004
15 years 7 months ago
2004
The support vector machine (SVM) is a widely used tool for classification. Many efficient implementations exist for fitting a two-class SVM model. The user has to supply values fo...