1705 search results - page 171 / 341 » Representing Constraints with Automata |
120
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
142
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
151
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
147
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
127
click to vote
DGCI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...