2949 search results - page 495 / 590 » Transformations in Information Supply |
184
click to vote
SARA
2009
Springer
15 years 10 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
214
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
172
click to vote
ISRR
2001
Springer
15 years 10 months ago
2001
Springer
One of the most challenging aspects of concurrent mapping and localization (CML) is the problem of data association. Because of uncertainty in the origins of sensor measurements, i...
153
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a novel from-region visibility algorithm, the unique properties of which allow conducting remote walkthroughs in very large virtual environments, without prepr...
146
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...