796 search results - page 19 / 160 » A Formalization of ODMG Queries |
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
110
click to vote
SGAI
2009
Springer
15 years 4 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
100
click to vote
AMW
2010
15 years 1 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
112
click to vote
DILS
2004
Springer
15 years 5 months ago
2004
Springer
Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have import...