11112 search results - page 1595 / 2223 » Computing Stuttering Simulations |
226
click to vote
PERVASIVE
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. In this paper we introduce the simultaneous tracking and activity recognition (STAR) problem, which exploits the synergy between location and activity to provide the info...
194
click to vote
PET
2005
Springer
16 years 18 days ago
2005
Springer
A basic radio-frequency identification (RFID) tag is a small and inexpensive microchip that emits a static identifier in response to a query from a nearby reader. Basic tags of t...
232
click to vote
RTA
2005
Springer
16 years 18 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
144
click to vote
SOFSEM
2005
Springer
16 years 18 days ago
2005
Springer
Different structures are used in peer-to-peer networks to represent their inherently distributed, self-organized and decentralized memory structure. In this paper, a simple range...
225
click to vote
WSTST
2005
Springer
16 years 18 days ago
2005
Springer
Breast cancer is one of the major tumor related cause of death in women. Various artificial intelligence techniques have been used to improve the diagnoses procedures and to aid t...