3552 search results - page 570 / 711 » Proof theory in the abstract |
163
click to vote
INFOSCALE
2006
ACM
16 years 13 days ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
237
click to vote
LAMAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Multi-agent systems (MASs) is an area of distributed artificial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexiti...
146
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
149
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
156
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...