1929 search results - page 239 / 386 » A Problem Space Approach to Expert System Specification |
129
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
125
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
122
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
At the German Distance Learning University, collaborative synchronous exercises have been recently identified by students and teachers as an important future form of collaborative...
141
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
One of the major difficulties in face recognition systems is the in-depth pose variation problem. Most face recognition approaches assume that the pose of the face is known. In th...
134
click to vote
AAAI
2000
15 years 5 months ago
2000
Scheduling, routing, and layout tasks are examples of hard operations-research problems that have broad application in industry. Typical algorithms for these problems combine some...