2364 search results - page 187 / 473 » An Engine for Computing Well-Founded Models |
142
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
This paper considers learner misconceptions information which is presented to the learner in an open learner model. We suggest that specific information about misconceptions may be...
147
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
146
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
153
click to vote
CW
2003
IEEE
15 years 10 months ago
2003
IEEE
The MOVES Institute’s mission is research, application, and education in the grand challenges of modeling, virtual environments, and simulation. Specialties are 3D visual simula...
107
click to vote
CONCUR
1989
Springer
15 years 9 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...