2478 search results - page 257 / 496 » Universality in two dimensions |
179
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
151
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
172
click to vote
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
While many algorithms for computing stereo correspondence have been proposed, there has been very little work on experimentally evaluating algorithm performance, especially using r...
202
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
In this study we will discuss our cross language text retrieval (CLIR) experiments of Persian ad hoc track at CLEF 2008. Two teams from University of Tehran were involved in cross...
155
click to vote
DIMVA
2010
15 years 8 months ago
2010
Computer security competitions and challenges are a way to foster innovation and educate students in a highly-motivating setting. In recent years, a number of different security co...