Sciweavers

517 search results - page 69 / 104
» Separators in Two and Three Dimensions
Sort
View
CN
2007
122views more  CN 2007»
15 years 1 months ago
Impact of mobility on the performance of relaying in ad hoc networks - Extended version
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
Ahmad Al Hanbali, Arzad Alam Kherani, Robin Groene...
ASE
2005
103views more  ASE 2005»
15 years 1 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
BC
2005
82views more  BC 2005»
15 years 1 months ago
Estimating position and velocity of a submerged moving object by the clawed frog Xenopus and by fish - A cybernetic approach
Thelateral-linesystemisauniquefacilityofaquatic animals to locate predator, prey, or conspecifics. We present a detailed model of how the clawed frog Xenopus, or fish, can localize...
Jan-Moritz P. Franosch, Andreas B. Sichert, Maria ...
CORR
2002
Springer
104views Education» more  CORR 2002»
15 years 1 months ago
Preprocessing Chains for Fast Dihedral Rotations Is Hard or Even Impossible
We examine a computational geometric problem concerning the structure of polymers. We model a polymer as a polygonal chain in three dimensions. Each edge splits the polymer into t...
Michael A. Soss, Jeff Erickson, Mark H. Overmars
IJCV
1998
192views more  IJCV 1998»
15 years 1 months ago
What Is the Set of Images of an Object Under All Possible Illumination Conditions?
The appearance of an object depends on both the viewpoint from which it is observed and the light sources by which it is illuminated. If the appearance of two objects is never iden...
Peter N. Belhumeur, David J. Kriegman