Sciweavers

532 search results - page 66 / 107
» Tree exploration with advice
Sort
View
ACOM
2006
Springer
14 years 1 months ago
Temporal Logics for Representing Agent Communication Protocols
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
Ulle Endriss
WOWMOM
2005
ACM
138views Multimedia» more  WOWMOM 2005»
14 years 1 months ago
A Scenario-Based Performance Evaluation of Multicast Routing Protocols for Ad Hoc Networks
Current ad hoc multicast routing protocols have been designed to build and maintain a tree or mesh in the face of a mobile environment, with fast reaction to network changes in or...
Manoj Pandey, Daniel Zappala
ASP
2005
Springer
14 years 1 months ago
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
Enrico Giunchiglia, Marco Maratea
ICDCS
2002
IEEE
14 years 17 days ago
Impact of Network Density on Data Aggregation in Wireless Sensor Networks
In-network data aggregation is essential for wireless sensor networks where energy resources are limited. In a previously proposed data dissemination scheme (directed diffusion wi...
Chalermek Intanagonwiwat, Deborah Estrin, Ramesh G...
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
13 years 11 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach