Sciweavers

1792 search results - page 103 / 359
» Requirements Capture with RCAT
Sort
View
ICCV
2007
IEEE
16 years 20 days ago
Non-Rigid Object Alignment with a Mismatch Template Based on Exhaustive Local Search
Non-rigid object alignment is especially challenging when only a single appearance template is available and target and template images fail to match. Two sources of discrepancy b...
Yang Wang, Simon Lucey, Jeffrey F. Cohn
ICDE
2007
IEEE
104views Database» more  ICDE 2007»
16 years 20 days ago
Dynamic Metadata Management for Scalable Stream Processing Systems
Adaptive query processing is of utmost importance for the scalability of data stream processing systems due to the long-running queries and fluctuating stream characteristics. An...
Michael Cammert, Jürgen Krämer, Bernhard...
IPPS
2007
IEEE
16 years 19 days ago
A Multi-Level Parallel Implementation of a Program for Finding Frequent Patterns in a Large Sparse Graph
Graphs capture the essential elements of many problems broadly defined as searching or categorizing. With the rapid increase of data volumes from sensors, many application discipl...
Steve Reinhardt, George Karypis
TASE
2007
IEEE
16 years 18 days ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
CONCUR
2007
Springer
16 years 15 days ago
Asynchronous Games: Innocence Without Alternation
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
Paul-André Melliès, Samuel Mimram