4486 search results - page 547 / 898 » Adaptable Boundary Sets |
162
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
194
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
166
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
152
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
194
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...