7099 search results - page 285 / 1420 » Context for models of concurrency |
196
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
197
click to vote
ISICT
2003
15 years 8 months ago
2003
Situational information can enrich the interactions between a user and the services they wish to utilize. Such information encompasses details about the user, the physical environ...
226
click to vote
NIPS
2003
15 years 8 months ago
2003
We describe a pattern acquisition algorithm that learns, in an unsupervised fashion, a streamlined representation of linguistic structures from a plain natural-language corpus. Th...
216
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes the participation of DAEDALUS at the ImageCLEF 2010 Wikipedia Retrieval task. The main focus of our experiments is to evaluate the impact in the image retrieva...
221
click to vote
CGF
2008
15 years 7 months ago
2008
To assist wayfinding and navigation, the display of maps and driving directions on mobile devices is nowadays commonplace. While existing system can naturally exploit GPS informat...