589 search results - page 79 / 118 » Introducing Dynamic Constraints in B |
TCS
2008
13 years 8 months ago
2008
We introduce a new problem that was motivated by a (more complicated) problem arising in a robotized assembly environment. The bin coloring problem is to pack unit size colored it...
JAIR
2007
13 years 8 months ago
2007
This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model...
AAMAS
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
MOC
1998
13 years 7 months ago
1998
Boundary integral methods to simulate interfacial flows are very sensitive to numerical instabilities. In addition, surface tension introduces nonlinear terms with high order spat...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...