845 search results - page 102 / 169 » Connecting Many-Sorted Theories |
165
click to vote
AAAI
2010
15 years 7 months ago
2010
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
169
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
163
click to vote
ISIM
2007
15 years 7 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
235
click to vote
STRINGOLOGY
2008
15 years 7 months ago
2008
A synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of...
151
click to vote
BMVC
1998
15 years 7 months ago
1998
When using a gradient-basedmethod to determine the optical flow field for an image sequence, it is generally appreciated that some spatial pre-filtering of the images is usually n...