Sciweavers

2291 search results - page 330 / 459
» Representational Reasoning and Verification
Sort
View
AAAI
1990
15 years 5 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
15 years 5 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
15 years 5 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
15 years 4 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»
15 years 4 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...