1124 search results - page 176 / 225 » Refined quorum systems |
112
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
115
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
BCSHCI
2008
15 years 1 months ago
2008
Recently, there has been an increased awareness in the general public, in government and in business that people with disabilities and older people have distinct needs and prefere...
RIAO
2007
15 years 1 months ago
2007
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...
107
click to vote
AAAI
2004
15 years 1 months ago
2004
We present a probabilistic method for path planning that considers trajectories constrained by both the environment and an ensemble of restrictions or preferences on preferred mot...