437 search results - page 68 / 88 » Automatic Generation of Implied Constraints |
CASES
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
RTCSA
2005
IEEE
14 years 29 days ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...
DAC
2000
ACM
13 years 11 months ago
2000
ACM
Datapath design is one of the most critical elements in the design of a high performance microprocessor. However datapath design is typically done manually, and is often custom st...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...