2555 search results - page 399 / 511 » Quantifiers and Working Memory |
154
click to vote
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
As small digital cameras become more popular, opportunities to take photos are rapidly increasing. Photo sharing is a great way to maintain and revitalize relationships between fa...
165
click to vote
MICCAI
2005
Springer
15 years 9 months ago
2005
Springer
This work presents a framework driven by parcellation of brain gray matter in standard normalized space to classify the neuronal fibers obtained from diffusion tensor imaging (DTI)...
139
click to vote
PKDD
2005
Springer
15 years 9 months ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
153
click to vote
SAS
2005
Springer
15 years 9 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
160
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...