Sciweavers

876 search results - page 109 / 176
» The next step - open prototyping
Sort
View
DAC
1994
ACM
15 years 1 months ago
Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs
In this paper, we consider the problem of calculating the signal and transition probabilities of the internal nodes of the combinational logic part of a nite state machine (FSM). ...
Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain
ICLP
2010
Springer
15 years 1 months ago
Efficient Solving of Time-dependent Answer Set Programs
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
HRI
2007
ACM
15 years 1 months ago
A dancing robot for rhythmic social interaction
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
Marek P. Michalowski, Selma Sabanovic, Hideki Kozi...
3DPVT
2004
IEEE
148views Visualization» more  3DPVT 2004»
15 years 1 months ago
Surface Model Generation from Range Images of Industrial Environments
This paper presents an hybrid segmentation technique that combines both the speed of an edge based approach with the robustness of a surface based approach. It consists of three s...
Angel Domingo Sappa
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
15 years 1 months ago
Efficient Model Creation of Large Structures based on Range Segmentation
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
Ioannis Stamos, Marius Leordeanu