1103 search results - page 128 / 221 » New Advances and Applications of Combining Simulation and Op... |
153
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...
174
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
177
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
206
click to vote
SBBD
2003
15 years 7 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
155
click to vote
WSC
1998
15 years 7 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...