Sciweavers

44 search results - page 5 / 9
» On Detecting Termination in the Crash-Recovery Model
Sort
View
ANSS
2000
IEEE
13 years 12 months ago
Modeling and Analysis of Software Aging and Rejuvenation
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Kate...
TIP
2008
144views more  TIP 2008»
13 years 7 months ago
Incremental Refinement of Image Salient-Point Detection
Low-level image analysis systems typically detect "points of interest", i.e., areas of natural images that contain corners or edges. Most of the robust and computationall...
Yiannis Andreopoulos, Ioannis Patras
BMCBI
2006
156views more  BMCBI 2006»
13 years 7 months ago
Detecting the limits of regulatory element conservation and divergence estimation using pairwise and multiple alignments
Background: Molecular evolutionary studies of noncoding sequences rely on multiple alignments. Yet how multiple alignment accuracy varies across sequence types, tree topologies, d...
Daniel A. Pollard, Alan M. Moses, Venky N. Iyer, M...
DAGSTUHL
1998
13 years 8 months ago
On Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
Georg Lausen, Bertram Ludäscher, Wolfgang May
ICRA
2010
IEEE
125views Robotics» more  ICRA 2010»
13 years 6 months ago
Inferring the semantics of direction signs in public places
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
Jérôme Maye, Luciano Spinello, Rudolp...