Sciweavers

446 search results - page 64 / 90
» Convergence and rate of convergence of a simple ant model
Sort
View
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
14 years 8 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
IROS
2007
IEEE
116views Robotics» more  IROS 2007»
15 years 4 months ago
Seamless integration of robots and tiny embedded devices in a PEIS-Ecology
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
Mirko Bordignon, Md. Jayedur Rashid, Mathias Broxv...
VRIPHYS
2010
14 years 4 months ago
Interactive Deformations with Multigrid Skeletal Constraints
In this paper we present an interactive method for simulating deformable objects using skeletal constraints. We introduce a two-way coupling of a finite element model and a skelet...
Joachim Georgii, Daniel Lagler, Christian Dick, R&...
JCNS
2000
86views more  JCNS 2000»
14 years 9 months ago
Computational Modeling of Orientation Tuning Dynamics in Monkey Primary Visual Cortex
In the primate visual pathway, orientation tuning of neurons is first observed in the primary visual cortex. The LGN cells that comprise the thalamic input to V1 are not orientati...
M. C. Pugh, Dario L. Ringach, Robert Shapley, M. J...
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 4 months ago
Distributed Quality-Lifetime Maximization in Wireless Video Sensor Networks
—Owing to the availability of low-cost and low-power CMOS cameras, Wireless Video Sensor Networks (WVSN) has recently become a reality. However video encoding is still a costly p...
Eren Gürses, Yuan Lin, Raouf Boutaba