2911 search results - page 288 / 583 » A Theory of Expressiveness in Mechanisms |
174
click to vote
ACTAC
1998
15 years 6 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
148
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
It is well-known that the Legendre-Fenchel conjugate of a positive definite quadratic form can be explicitly expressed as another positive definite quadratic form, and that the con...
185
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
156
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. This paper presents a theory for constructing and computing velocity-adapted scale-space filters for spatio-temporal image data. Starting from basic criteria in terms of ...
123
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...