1963 search results - page 225 / 393 » Function Materialization in Object Bases |
159
click to vote
WSC
2007
15 years 5 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
128
click to vote
MONET
2006
15 years 3 months ago
2006
Wireless sensor networks consist of energy-constrained sensor nodes operating unattended in highly dynamic environments. In this paper, we advocate a systematic decentralized appro...
123
click to vote
ENTCS
2002
15 years 2 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
157
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
The ability to normalize pose based on super-category landmarks can significantly improve models of individual categories when training data are limited. Previous methods have co...
153
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...