Sciweavers

3993 search results - page 516 / 799
» Matchmaking for Structured Objects
Sort
View
PADL
2004
Springer
15 years 9 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
PCM
2004
Springer
135views Multimedia» more  PCM 2004»
15 years 9 months ago
Probabilistic Face Tracking Using Boosted Multi-view Detector
Face tracking in realistic environments is a difficult problem due to pose variations, occlusions of objects, illumination changes and cluttered background, among others. The paper...
Peihua Li, Haijing Wang
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
15 years 9 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
SG
2004
Springer
15 years 9 months ago
Implementation of ActiveCube as an Intuitive 3D Computer Interface
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
Ryoichi Watanabe, Yuichi Itoh, Michihiro Kawai, Yo...
AUIC
2003
IEEE
15 years 9 months ago
Keg Master: a Graph-Aware Visual Editor for 3D Graphs
This paper presents Keg Master, a graph-aware visual editor for 3D graphs. Keg Master is novel in that it works with a graph description language as opposed to a scene graph descr...
Hannah Slay, Matthew Phillips, Bruce H. Thomas, Ru...