8337 search results - page 1388 / 1668 » Reasoning With Characteristic Models |
203
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
197
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
170
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
245
click to vote
MM
2006
ACM
16 years 16 days ago
2006
ACM
Human vision system actively seeks interesting regions in images to reduce the search effort in tasks, such as object detection and recognition. Similarly, prominent actions in v...
162
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
The Distributed Shared Memory (DSM) model is designed to leverage the ease of programming of the shared memory paradigm, while enabling the highperformance by expressing locality ...