1246 search results - page 100 / 250 » Online testing with model programs |
137
Voted
AI
2004
Springer
15 years 21 days ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
101
Voted
CP
2004
Springer
15 years 6 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
107
Voted
HAPTICS
2003
IEEE
15 years 6 months ago
2003
IEEE
As haptic technology becomes more developed, the potential applications for three-dimensional haptic content online become more and more numerous. However, the proliferation of su...
116
Voted
CP
2000
Springer
15 years 5 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...
142
click to vote
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...