Sciweavers

4604 search results - page 132 / 921
» Analysis of Negotiation Dynamics
Sort
View
PASTE
2004
ACM
15 years 6 months ago
Evaluating the imprecision of static analysis
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
Atanas Rountev, Scott Kagan, Michael Gibas
97
Voted
ISSTA
2006
ACM
15 years 6 months ago
DSD-Crasher: a hybrid analysis tool for bug finding
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
Christoph Csallner, Yannis Smaragdakis
82
Voted
CHI
2009
ACM
16 years 1 months ago
In support of city exploration
CT The novel experience Anywhere allowed participants to explore an urban area, tying together information not normally available, new points of views and interaction embedded into...
Ben Bedwell, Boriana Koleva, Holger Schnädelb...
104
Voted
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
15 years 7 months ago
The Social Structure of Tagging Internet Video on del.icio.us
Abstract— The ability to tag resources with uncontrolled metadata or “folksonomies” is often characterized as one of the central features of “Web 2.0” applications. Folks...
John C. Paolillo, Shashikant Penumarthy
116
Voted
MABS
2000
Springer
15 years 4 months ago
Agent-Based Social Simulation with Coalitions in Social Reasoning
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
Nuno David, Jaime Simão Sichman, Helder Coe...