Sciweavers

4276 search results - page 350 / 856
» Techniques for Empirical Validation
Sort
View
IJWMC
2006
84views more  IJWMC 2006»
15 years 6 months ago
Resilient and energy efficient tracking in sensor networks
: We present a new distributed mechanism for tracking moving objects with a network of sensors. To track such objects efficiently and accurately, we need techniques that allow the ...
Maria Halkidi, Dimitris Papadopoulos, Vana Kaloger...
JAIR
2006
131views more  JAIR 2006»
15 years 6 months ago
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems
Distributed Constraint Satisfaction (DCSP) has long been considered an important problem in multi-agent systems research. This is because many real-world problems can be represent...
Roger Mailler, Victor R. Lesser
JSAT
2008
80views more  JSAT 2008»
15 years 6 months ago
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based o...
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Art...
DSS
2007
98views more  DSS 2007»
15 years 6 months ago
Trust and technologies: Implications for organizational work practices
In this paper, we empirically investigate the concept of trust across organizational work practices by examining three groups: within the team, between teams and when interacting ...
Melanie J. Ashleigh, Joe Nandhakumar
JMLR
2006
112views more  JMLR 2006»
15 years 6 months ago
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
Andrea Passerini, Paolo Frasconi, Luc De Raedt