Sciweavers

4255 search results - page 334 / 851
» Cover
Sort
View
HYBRID
2003
Springer
15 years 12 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
ICIAP
2003
ACM
15 years 12 months ago
Painting crack elimination using viscous morphological reconstruction
A method for the elimination of cracks in infrared reflectograms is presented. Infrared reflectograms show the underdrawing – the basic concept of the artist drawn on the grou...
Allan Hanbury, Paul Kammerer, Ernestine Zolda
ICLP
2003
Springer
15 years 12 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
IICS
2003
Springer
15 years 12 months ago
Semantic Geocast Using a Self-organizing Infrastructure
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
Jörg Roth
184
Voted
ECCV
2010
Springer
15 years 12 months ago
Localizing Objects while Learning Their Appearance
Learning a new object class from cluttered training images is very challenging when the location of object instances is unknown. Previous works generally require objects covering a...