7167 search results - page 1043 / 1434 » Answer Set Programming |
122
Voted
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
131
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
152
Voted
CP
2000
Springer
15 years 8 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
105
Voted
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
121
Voted
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...