1456 search results - page 253 / 292 » Two Techniques to Improve Finite Model Search |
94
Voted
PODC
1990
ACM
15 years 2 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
79
Voted
ICCV
2003
IEEE
16 years 25 days ago
2003
IEEE
A new algorithm is proposed for novel view generation in one-toone teleconferencing applications. Given the video streams acquired by two cameras placed on either side of a comput...
79
Voted
PVLDB
2010
14 years 9 months ago
2010
In this paper, we present a new record linkage approach that uses entity behavior to decide if potentially different entities are in fact the same. An entity’s behavior is extra...
118
click to vote
EOR
2007
14 years 11 months ago
2007
Crew scheduling problems at the planning level are typically solved in two steps: first, creating working patterns, and then assigning these to individual crew. The first step is ...
102
Voted
CCS
2008
ACM
15 years 27 days ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...