549 search results - page 42 / 110 » Verification condition generation for conditional informatio... |
113
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We present an algorithm and the associated capture methodology to acquire and track the detailed 3D shape, bends, and wrinkles of deforming surfaces. Moving 3D data has been diffi...
118
click to vote
JMLR
2008
15 years 16 days ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
101
click to vote
IGARSS
2009
14 years 10 months ago
2009
The UAE location on the edge of a very warm sea and hot and dry desert create the optimal conditions of inland fog forming. The afternoon sea breeze, which is almost a daily event...
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
122
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...