Sciweavers

13151 search results - page 94 / 2631
» Position based dynamics
Sort
View
FOSSACS
2010
Springer
15 years 9 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
IUI
2005
ACM
15 years 8 months ago
Task aware information access for diagnosis of manufacturing problems
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...
Larry Birnbaum, Wallace J. Hopp, Seyed M. R. Irava...
SPW
2004
Springer
15 years 8 months ago
Pseudonymity in the Light of Evidence-Based Trust
This position paper discusses the relation of privacy, namely pseudonymity, to evidence-based trust (or rather reputation). Critical concepts of evidence-based trust/reputation sys...
Daniel Cvrcek, Václav Matyás Jr.
DASFAA
2009
IEEE
133views Database» more  DASFAA 2009»
15 years 10 months ago
Probabilistic Ranking in Uncertain Vector Spaces
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...
Thomas Bernecker, Hans-Peter Kriegel, Matthias Ren...
ASE
2011
14 years 6 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie