Sciweavers

5752 search results - page 517 / 1151
» Informative Labeling Schemes
Sort
View
DIAGRAMS
2004
Springer
16 years 25 days ago
Reasoning with Projected Contours
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
Chris John
ECAI
2004
Springer
16 years 25 days ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
LATIN
2004
Springer
16 years 24 days ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
COMPSAC
2002
IEEE
16 years 12 days ago
An Effective Content-Based Visual Image Retrieval System
In this paper, an effective content-based visual image retrieval system is presented. This system consists of two main components: visual content extraction and indexing, and quer...
Xiuqi Li, Shu-Ching Chen, Mei-Ling Shyu, Borko Fur...
ICRA
2002
IEEE
130views Robotics» more  ICRA 2002»
16 years 11 days ago
Combining Laser Range, Color, and Texture Cues for Autonomous Road Following
We describe results on combining depth information from a laser range-finder and color and texture image cues to segment ill-structured dirt, gravel, and asphalt roads as input t...
Christopher Rasmussen