7557 search results - page 527 / 1512 » Modeling Timed Concurrent Systems |
200
click to vote
IJCV
2006
15 years 7 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
168
click to vote
JIRS
2010
15 years 5 months ago
2010
Abstract This paper investigates simple and robust transparency-attainable control architectures for bilateral teleoperation. The strength of two-channel control architectures and ...
202
click to vote
PVLDB
2010
15 years 5 months ago
2010
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...
187
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
170
click to vote
MTV
2005
IEEE
16 years 16 days ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...