1174 search results - page 56 / 235 » Automatically generating stories from sensor data |
134
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
202
click to vote
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
168
click to vote
TDP
2010
15 years 1 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
119
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
201
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Airborne LiDAR technology draws increasing interest in
large-scale 3D urban modeling in recent years. 3D Li-
DAR data typically has no texture information. To generate
photo-rea...