4346 search results - page 815 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
149
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
ICFP
2010
ACM
15 years 26 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
108
click to vote
TCSV
2008
14 years 11 months ago
2008
Abstract--Various 3-D face synthesis techniques have been proposed and extensively used in many applications. Compared with others, single view-based face synthesis technology allo...
108
click to vote
JMM2
2007
14 years 11 months ago
2007
— This paper makes new contributions in motion detection, object segmentation and trajectory estimation to create a successful object tracking system. A new efficient motion det...
JCC
1998
14 years 11 months ago
1998
: A novel procedure for docking ligands in a flexible binding site is presented. It relies on conjugate gradient minimization, during which nonbonded interactions are gradually swi...