Sciweavers

1147 search results - page 118 / 230
» Differential Matching Constraints
Sort
View
RAS
2007
115views more  RAS 2007»
13 years 9 months ago
A variational method for the recovery of dense 3D structure from motion
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...
Hicham Sekkati, Amar Mitiche
COMPSAC
2010
IEEE
13 years 8 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song
CORR
2011
Springer
175views Education» more  CORR 2011»
13 years 1 months ago
Power Allocation in Team Jamming Games in Wireless Ad Hoc Networks
In this work, we study the problem of power allocation in teams. Each team consists of two agents who try to split their available power between the tasks of communication and jam...
Sourabh Bhattacharya, Ali Khanafer, Tamer Basar
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
14 years 11 months ago
Efficient Online Subsequence Searching in Data Streams under Dynamic Time Warping Distance
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
Mi Zhou, Man Hon Wong
DAC
2002
ACM
14 years 11 months ago
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...