Sciweavers

1341 search results - page 200 / 269
» Logic for Modeling Product Structure
Sort
View
SIGGRAPH
1995
ACM
15 years 7 months ago
Creation and rendering of realistic trees
Recent advances in computer graphics have produced images approaching the elusive goal of photorealism. Since many natural objects are so complex and detailed, they are often not ...
Jason Weber, Joseph Penn
IRI
2003
IEEE
15 years 9 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
KR
1998
Springer
15 years 8 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama
ICCV
2007
IEEE
15 years 5 months ago
Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
Bohyung Han, Seong-Wook Joo, Larry S. Davis
WWW
2007
ACM
16 years 4 months ago
Yago: a core of semantic knowledge
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
Fabian M. Suchanek, Gjergji Kasneci, Gerhard Weiku...