Sciweavers

909 search results - page 142 / 182
» The Economics of Large-Memory Computations
Sort
View
ICAD
2004
15 years 7 months ago
Decoupled Loudness and Range Control for a Source Located Within a Small Virtual Acoustic Environment
For headphone-based spatial auditory display systems, binaural synthesis of sound localization cues typically use source reproduction level as the primary control for source range...
William L. Martens
GEOINFO
2003
15 years 7 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...
WM
2003
15 years 7 months ago
The differentia principle as a cornerstone of ontology
The Information Society relies more and more on the co-operation and collaboration of multidisciplinary people who need to communicate and share information. Communication and kno...
Christophe Spies
ICIS
2000
15 years 7 months ago
Trading partner trust in electronic commerce participation
The growth of business-to-business e-commerce has highlighted the role of computer and communications technologies as well as inter-organizational trust in developing and maintain...
Pauline Ratnasingham, Kuldeep Kumar
155
Voted
DIMACS
1996
15 years 7 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson