2555 search results - page 344 / 511 » Putting complex systems to work |
172
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
254
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
135
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
144
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
146
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...