Sciweavers

22114 search results - page 359 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
CHI
2002
ACM
16 years 7 months ago
Mental models of robotic assistants
In the future, interactive robots will perform many helpful tasks. In 5 studies, we developed techniques for measuring the richness and content of people's mental models of a...
Sara B. Kiesler, Jennifer Goetz
3DIM
2003
IEEE
16 years 22 days ago
Next View Planning for a Combination of Passive and Active Acquisition Techniques
In order to create a complete three-dimensional model of an object based on its two-dimensional images, the images have to be acquired from different views. An increasing number o...
Robert Sablatnig, Srdan Tosovic, Martin Kampel
184
Voted
JSW
2007
66views more  JSW 2007»
15 years 7 months ago
Implementing Model-Based Data Structures using Transient Model Extensions
— Software is often constructed using a layered approach to encapsulate various functionality in corresponding layers. Individual requirements of each layer demand layer specifi...
Michael Thonhauser, Gernot Schmoelzer, Christian K...
MTA
2002
190views more  MTA 2002»
15 years 7 months ago
Model-Based Video Classification toward Hierarchical Representation, Indexing and Access
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
Jianping Fan, Xingquan Zhu, Mohand-Said Hacid, Ahm...
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
16 years 16 days ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed