11808 search results - page 225 / 2362 » Isometries and Computability Structures |
172
click to vote
ACCV
2006
Springer
15 years 11 months ago
2006
Springer
We view the task of change detection as a problem of object recognition from learning. The object is defined in a 3D space where the time is the 3rd dimension. We propose two com...
157
click to vote
CPM
2000
Springer
15 years 10 months ago
2000
Springer
The syntenic dista nce between two species is the minimum number of fusions, fissions, and translocations required to transform one genome into the other. The linear syntenic dis...
157
Voted
DAC
1996
ACM
15 years 9 months ago
1996
ACM
In this paper, we study the problem of decomposing gates in fanin-unbounded or K-bounded networks such that the K-input LUT mapping solutions computed by a depthoptimal mapper hav...
193
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
132
click to vote
UAI
2001
15 years 7 months ago
2001
In previous work [8] we presented a casebased approach to eliciting and reasoning with preferences. A key issue in this approach is the definition of similarity between user prefe...