4513 search results - page 824 / 903 » Logic programming with satisfiability |
132
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
103
click to vote
STACS
2007
Springer
15 years 7 months ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...
148
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Multiple view 3D video reconstruction of actor performance
captures a level-of-detail for body and clothing
movement which is time-consuming to produce using existing
animation ...
218
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Many applications are driven by evolving data -patterns in web traffic, program execution traces, network event logs, etc., are often non-stationary. Building prediction...
120
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...