Sciweavers

5622 search results - page 694 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
FLAIRS
2007
15 years 9 months ago
A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
Ivana Rasovska, Brigitte Chebel-Morello, Noureddin...
KER
2008
121views more  KER 2008»
15 years 7 months ago
Simulating socially intelligent agents in semantic virtual environments
The simulation of synthetic humans inhabiting virtual environments is a current research topic with a great number of behavioral problems to be tackled. Semantical Virtual Environ...
Francisco Grimaldo, Miguel Lozano, Fernando Barber...
TVCG
2012
248views Hardware» more  TVCG 2012»
13 years 9 months ago
Scanning 3D Full Human Bodies Using Kinects
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
Jing Tong, Jin Zhou, Ligang Liu, Zhigeng Pan, Hao ...
SIAMAM
2008
79views more  SIAMAM 2008»
15 years 7 months ago
Transport-Based Imaging in Random Media
This paper generalizes well-established derivations of the radiative transfer equation from first principles to model the energy density of time-dependent and monochromatic high f...
Guillaume Bal, Kui Ren
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
16 years 21 days ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...