8249 search results - page 1518 / 1650 » The DBO database system |
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
Recovering the pose of a person from single images is a challenging problem. This paper discusses a bottom-up approach that uses local image features to estimate human upper body p...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
EXPDB
2006
ACM
14 years 2 months ago
2006
ACM
In data warehousing applications, the ability to efficiently delete large chunks of data from a table is very important. This feature is also known as Rollout. Rollout is generall...
CBMS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the past number of years the demand for high performance computing has greatly increased in the area of bioinformatics. The huge increase in size of many genomic databases has ...
ESCIENCE
2005
IEEE
14 years 1 months ago
2005
IEEE
1 Although processing speed, storage capacity and network bandwidth are steadily increasing, network latency remains a bottleneck for scientists accessing large remote data sets. T...