Sciweavers

1453 search results - page 257 / 291
» Partial Constraint Satisfaction
Sort
View
AINA
2006
IEEE
15 years 11 months ago
Simulation Architecture for Data Processing Algorithms in Wireless Sensor Networks
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
Yann-Aël Le Borgne, Mehdi Moussaid, Gianluca ...
RTAS
2006
IEEE
15 years 11 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
132
Voted
ACCV
2006
Springer
15 years 11 months ago
A Bottom up Algebraic Approach to Motion Segmentation
We present a bottom up algebraic approach for segmenting multiple 2D motion models directly from the partial derivatives of an image sequence. Our method fits a polynomial called ...
Dheeraj Singaraju, René Vidal
ADG
2006
Springer
220views Mathematics» more  ADG 2006»
15 years 11 months ago
Cylinders Through Five Points: Complex and Real Enumerative Geometry
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
Daniel Lichtblau
APSEC
2005
IEEE
15 years 11 months ago
Metrics for Analyzing Module Interactions in Large Software Systems
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
Santonu Sarkar, Avinash C. Kak, N. S. Nagaraja