Sciweavers

7066 search results - page 121 / 1414
» Contact Relations with Applications
Sort
View
ALGOSENSORS
2004
Springer
14 years 2 months ago
On a Conjecture Related to Geometric Routing
We conjecture that any planar 3-connected graph can be embedded in the plane in such a way that for any nodes s and t, there is a path from s to t such that the Euclidean distance ...
Christos H. Papadimitriou, David Ratajczak
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
14 years 2 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ECBS
2002
IEEE
118views Hardware» more  ECBS 2002»
14 years 1 months ago
On the Relation between Design Contracts and Errors: A Software Development Strategy
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
Eivind J. Nordby, Martin Blom, Anna Brunstrom
CAIP
1999
Springer
143views Image Analysis» more  CAIP 1999»
14 years 1 months ago
Frame-Relative Critical Point Sets in Image Analysis
Abstract. We propose a new computational method for segmenting topological sub-dimensional point-sets in scalar images of arbitrary spatial dimensions. The technique is based on co...
Stiliyan Kalitzin, Joes Staal, Bart M. ter Haar Ro...
DEXAW
2009
IEEE
95views Database» more  DEXAW 2009»
14 years 24 days ago
Collection-Relative Representations: A Unifying View to Retrieval Models
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
Benno Stein, Maik Anderka