2586 search results - page 287 / 518 » Automatic Abstraction for Congruences |
202
click to vote
ICWN
2003
15 years 8 months ago
2003
Abstract— We consider the problem of determining the positions of wireless nodes using range measurements from multiple, sparsely located, beacon stations with known locations. A...
165
click to vote
SSR
2001
15 years 8 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
199
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a new domain for unsupervised learning: automatically customizing the computer to a specific melodic performer by merely listening to them improvise. We also describe B...
192
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
What will it be like to work in the digital library of the future? We begin by browsing around an experimental digital library of the present, glancing at some collections and show...
154
click to vote
FORTE
1998
15 years 8 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...