1456 search results - page 253 / 292 » Two Techniques to Improve Finite Model Search |
113
Voted
PODC
1990
ACM
15 years 4 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...
94
Voted
ICCV
2003
IEEE
16 years 2 months 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...
93
Voted
PVLDB
2010
14 years 11 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...
135
Voted
EOR
2007
15 years 14 days 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 ...
125
click to vote
CCS
2008
ACM
15 years 2 months 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...