Sciweavers

1103 search results - page 128 / 221
» New Advances and Applications of Combining Simulation and Op...
Sort
View
CVPR
2008
IEEE
15 years 12 months ago
Image decomposition into structure and texture subcomponents with multifrequency modulation constraints
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...
Georgios Evangelopoulos, Petros Maragos
CADE
2009
Springer
15 years 10 months ago
Real World Verification
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...
André Platzer, Jan-David Quesel, Philipp R&...
DAGSTUHL
2008
14 years 11 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
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...
Luís C. Lamb
SBBD
2003
134views Database» more  SBBD 2003»
14 years 11 months ago
Performance and Quality Evaluation of a Personalized Route Planning System
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...
Wolf-Tilo Balke, Werner Kießling, Christoph ...
WSC
1998
14 years 11 months ago
Avoiding the Blues for Airline Travelers
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...
Jane L. Snowdon, Soad El-Taji, Mario Montevecchi, ...