Sciweavers

2291 search results - page 330 / 459
» Representational Reasoning and Verification
Sort
View
AAAI
1990
13 years 11 months ago
Practical Temporal Projection
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
Steve Hanks
IJCAI
1989
13 years 11 months ago
A Knowledge-Based Software Information System
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
Premkumar T. Devanbu, Peter G. Selfridge, Bruce W....
ATAL
2010
Springer
13 years 11 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
ECSA
2010
Springer
13 years 10 months ago
On representing variation
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
Rich Hilliard
CGF
2008
156views more  CGF 2008»
13 years 10 months ago
Automatic Conversion of Mesh Animations into Skeleton-based Animations
Recently, it has become increasingly popular to represent animations not by means of a classical skeleton-based model, but in the form of deforming mesh sequences. The reason for ...
Edilson de Aguiar, Christian Theobalt, Sebastian T...