Sciweavers

4061 search results - page 616 / 813
» Routing Using Geospatial Information System Analysis
Sort
View
DSVIS
2005
Springer
16 years 20 hour ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
AAMAS
2007
Springer
15 years 6 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
INFSOF
2006
102views more  INFSOF 2006»
15 years 6 months ago
Comparison of software architecture reverse engineering methods
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
Catherine Stringfellow, C. D. Amory, Dileep Potnur...
ACL
2011
14 years 10 months ago
Learning From Collective Human Behavior to Introduce Diversity in Lexical Choice
We analyze collective discourse, a collective human behavior in content generation, and show that it exhibits diversity, a property of general collective systems. Using extensive ...
Vahed Qazvinian, Dragomir R. Radev
CHI
2008
ACM
16 years 6 months ago
The sound of touch: physical manipulation of digital sound
The Sound of Touch is a new tool for real-time capture and sensitive physical stimulation of sound samples using digital convolution. Our hand-held wand can be used to (1) record ...
David Merrill, Hayes Raffle, Roberto Aimi