Sciweavers

1598 search results - page 169 / 320
» A Unified Computation Model for Functional and Logic Program...
Sort
View
CAISE
2004
Springer
15 years 11 months ago
Network-based Business Process Management: a Discussion on Embedding Business Logic in Communications Networks
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
Louis-François Pau, Peter H. M. Vervest
OSDI
2008
ACM
16 years 6 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
CLIMA
2006
15 years 7 months ago
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heyman...
ICCV
2009
IEEE
16 years 11 months ago
Decomposing a Scene into Geometric and Semantically Consistent Regions
High-level, or holistic, scene understanding involves reasoning about objects, regions, and the 3D relationships between them. This requires a representation above the level of ...
Stephen Gould, Richard Fulton, Daphne Koller
SIGGRAPH
2000
ACM
15 years 10 months ago
Displaced subdivision surfaces
In this paper we introduce a new surface representation, the displaced subdivision surface. It represents a detailed surface model as a scalar-valued displacement over a smooth do...
Aaron W. F. Lee, Henry P. Moreton, Hugues Hoppe