6020 search results - page 779 / 1204 » A New Approach to Model Counting |
201
click to vote
JSW
2008
15 years 6 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
178
click to vote
CGF
2005
15 years 6 months ago
2005
The point set is a flexible surface representation suitable for both geometry processing and real-time rendering. In most applications, the control of the point cloud density is c...
197
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
166
click to vote
IVC
2010
15 years 5 months ago
2010
We present an algorithm for the layered segmentation of video data in multiple views. The approach is based on computing the parameters of a layered representation of the scene in...
235
click to vote
SCP
2011
15 years 1 months ago
2011
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...