Sciweavers

3993 search results - page 272 / 799
» Matchmaking for Structured Objects
Sort
View
ISMM
2009
Springer
15 years 10 months ago
Spatially-Variant Anisotropic Morphological Filters Driven by Gradient Fields
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
Rafael Verdú Monedero, Jesús Angulo,...
120
Voted
TACAS
2007
Springer
103views Algorithms» more  TACAS 2007»
15 years 10 months ago
A Reachability Predicate for Analyzing Low-Level Software
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...
ICDCS
2005
IEEE
15 years 9 months ago
Keyword Search in DHT-Based Peer-to-Peer Networks
Existing techniques for keyword/attribute search in structured P2P overlays suffer from several problems: unbalanced load, hot spots, fault tolerance, storage redundancy, and unab...
Yuh-Jzer Joung, Chien-Tse Fang, Li-Wei Yang
WETICE
1997
IEEE
15 years 8 months ago
Boundaries, Awareness and Interaction in Collaborative Virtual Environments
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...
Chris Greenhalgh, Steve Benford
AMTA
1998
Springer
15 years 8 months ago
EMIS: A Multilingual Information System
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Bärbel Ripplinger