13822 search results - page 2399 / 2765 » Models in Knowledge Management |
228
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
186
click to vote
ECCV
2004
Springer
16 years 3 days ago
2004
Springer
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
181
click to vote
FMCAD
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
169
click to vote
LATIN
2004
Springer
16 years 2 days ago
2004
Springer
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
177
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...