896 search results - page 86 / 180 » Stepwise Refinement of Processes |
163
click to vote
FORMATS
2010
Springer
15 years 19 days ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
134
Voted
WER
2010
Springer
15 years 14 days ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
158
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...
111
Voted
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
: Business Conversation Manager: Facilitating People Interactions in Outsourcing Service Engagements Hamid R. Motahari-Nezhad, Sven Graupner, Sharad Singhal HP Laboratories HPL...
158
Voted
IEEEICCI
2003
IEEE
15 years 8 months ago
2003
IEEE
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...