6554 search results - page 154 / 1311 » Constraint Logic Programming |
156
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
176
click to vote
ATS
2005
IEEE
15 years 12 months ago
2005
IEEE
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
162
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
175
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
159
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...