Sciweavers

3457 search results - page 258 / 692
» A Symbol Is Not a Symbol
Sort
View
FUIN
2008
88views more  FUIN 2008»
15 years 6 months ago
Preferential Regular Path Queries
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for "scaling" up or down...
Gösta Grahne, Alex Thomo, William W. Wadge
HIS
2003
15 years 8 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
PCM
2010
Springer
200views Multimedia» more  PCM 2010»
15 years 5 months ago
A New Shape Descriptor for Object Recognition and Retrieval
Abstract. We present a new shape descriptor for measuring the similarity between shapes and exploit it in graphical object recognition and retrieval. By statistically integrating t...
Feng Su, Tong Lu, Ruoyu Yang
ICPR
2004
IEEE
16 years 7 months ago
Joint Spatial and Temporal Structure Learning for Task based Control
We present an example of a joint spatial and temporal task learning algorithm that results in a generative model that has applications for on-line visual control. We review work o...
Hilary Buxton, Kingsley Sage
ESORICS
2009
Springer
16 years 7 months ago
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
Mihhail Aizatulin, Henning Schnoor, Thomas Wilke