Sciweavers

2593 search results - page 338 / 519
» constraints 2007
Sort
View
DAGSTUHL
2003
15 years 8 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
DICTA
2003
15 years 8 months ago
Globally Optimal Surfaces by Continuous Maximal Flows
Abstract. In this paper we solve the problem of computing exact continuous optimal curves and surfaces for image segmentation and 3D reconstruction, using a maximal flow approach ...
Ben Appleton, Hugues Talbot
ISCAPDCS
2004
15 years 8 months ago
Pushmepullyou: The Reality of Interaction with Shared Objects in Networked Walk-in Displays
This paper investigates the reality of shared manipulation of objects between users in distributed walkin displays and presents solutions to address the effects of constraints of ...
David J. Roberts, Oliver Otto, Robin Wolff
IWEC
2004
15 years 8 months ago
How Realistic is Realism? Considerations on the Aesthetics of Computer Games
One of the major goals in the development of virtual environments in recent years has been to create more and more realistic scenery, characters and natural human forms of interact...
Richard Wages, Stefan Grünvogel, Benno Gr&uum...
IJCAI
2001
15 years 8 months ago
Balance and Filtering in Structured Satisfiable Problems
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas...