5216 search results - page 645 / 1044 » Planning as Model Checking |
157
click to vote
FDL
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
164
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
We study XML stream-specific schema-based optimization. We assume a widely-adopted automata-based execution model for XQuery evaluation. Criteria are established regarding what s...
164
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
Congestion estimation is an important issue for the success of the VLSI layout. Fast congestion estimation provides an efficient means to adjust the placement and wire planning. A...
208
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
170
click to vote
SG
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...