Sciweavers

5326 search results - page 193 / 1066
» On what we can ensure
Sort
View
SODA
2010
ACM
178views Algorithms» more  SODA 2010»
16 years 3 months ago
Tree Embeddings for Two-Edge-Connected Network Design
The group Steiner problem is a classical network design problem where we are given a graph and a collection of groups of vertices, and want to build a min-cost subgraph that conne...
Anupam Gupta, Ravishankar Krishnaswamy, R. Ravi
SCIA
2009
Springer
146views Image Analysis» more  SCIA 2009»
16 years 1 months ago
Extraction of Windows in Facade Using Kernel on Graph of Contours
In the past few years, street-level geoviewers has become a very popular web-application. In this paper, we focus on a first urban concept which has been identified as useful for...
Jean-Emmanuel Haugeard, Sylvie Philipp-Foliguet, F...
SEMWEB
2009
Springer
16 years 1 months ago
Investigating the Semantic Gap through Query Log Analysis
Significant efforts have focused in the past years on bringing large amounts of metadata online and the success of these efforts can be seen by the impressive number of web site...
Peter Mika, Edgar Meij, Hugo Zaragoza
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 11 months ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
AI50
2006
15 years 10 months ago
How to Build Consciousness into a Robot: The Sensorimotor Approach
The problem of consciousness has been divided by philosophers into the problem of Access Consciousness and the problem of Phenomenal Consciousness or "raw feel". In this ...
J. Kevin O'Regan