4385 search results - page 737 / 877 » Abstraction for Concurrent Objects |
ICLP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
98
Voted
MODELS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
PRIMA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Network games are attracting attention as simulation platforms for social experiments because of their rich visualization performance and scalability. Our objective in th...
108
click to vote
AE
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Markov Random Fields (MRFs) 5] are a class of probabalistic models that have been applied for many years to the analysis of visual patterns or textures. In this paper, ou...
104
click to vote
AOSE
2001
Springer
15 years 3 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...