4965 search results - page 573 / 993 » A Simple Abstraction for Data Modeling |
177
click to vote
FMCAD
1998
Springer
15 years 12 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
207
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Shotgun sequencing is the state-of-the-art to decode genome sequence. However this technique needs a lot of fragments. Combining those fragments correctly requires enorm...
206
click to vote
SAS
1991
Springer
15 years 11 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
206
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--This paper proposes a method for estimating extrinsic camera parameters using video images and position data acquired by GPS. In conventional methods, the accuracy of the...
205
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...