Sciweavers

7921 search results - page 1280 / 1585
» Process Modeling in Web Applications
Sort
View
FMICS
2008
Springer
15 years 2 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
CVIU
2010
155views more  CVIU 2010»
15 years 21 days ago
Illumination-robust variational optical flow using cross-correlation
We address the problem of variational optical flow for video processing applications that need fast operation and robustness to drastic variations in illumination. Recently, a sol...
József Molnár, Dmitry Chetverikov, S...
CGF
2006
128views more  CGF 2006»
15 years 20 days ago
Computing discrete shape operators on general meshes
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
Eitan Grinspun, Yotam I. Gingold, Jason Reisman, D...
SAC
2006
ACM
15 years 16 days ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
84
Voted
PERVASIVE
2007
Springer
15 years 4 days ago
Mobiscopes for Human Spaces
The proliferation of affordable mobile devices with processing and sensing capabilities, together with the rapid growth in ubiquitous network connectivity, herald an era of Mobisc...
Tarek F. Abdelzaher, Yaw Anokwa, Péter Boda...
« Prev « First page 1280 / 1585 Last » Next »