1247 search results - page 128 / 250 » Reasoning about Function Objects |
LCTRTS
2001
Springer
15 years 2 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
ECIR
1998
Springer
14 years 11 months ago
1998
Springer
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
103
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
The ability to constrain the geometry of deformable models for image segmentation can be useful when information about the expected shape or positioning of the objects in a scene i...
DSS
2008
14 years 10 months ago
2008
This research uses functional data modelling to study the price formation process of online auctions. It conceptualizes the price curve and its first and second derivatives (veloc...