Sciweavers

4255 search results - page 334 / 851
» Cover
Sort
View
HYBRID
2003
Springer
16 years 22 days 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...
199
Voted
ICIAP
2003
ACM
16 years 22 days 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
16 years 22 days 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
160
Voted
IICS
2003
Springer
16 years 21 days 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
201
Voted
ECCV
2010
Springer
16 years 21 days 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...