Sciweavers

5477 search results - page 723 / 1096
» Contexts, Domains, and Software
Sort
View
CORR
2004
Springer
121views Education» more  CORR 2004»
15 years 6 months ago
An agent-based intelligent environmental monitoring system
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
Ioannis N. Athanasiadis, Pericles A. Mitkas
CACM
2000
143views more  CACM 2000»
15 years 6 months ago
Embedding Robots into the Internet
With the explosive growth of embedded computing hardware, it is possible to conceive many new networked robotic applications for diverse domains ranging from urban search and resc...
Gaurav S. Sukhatme, Maja J. Mataric
CLUSTER
2002
IEEE
15 years 6 months ago
Condor-G: A Computation Management Agent for Multi-Institutional Grids
In recent years, there has been a dramatic increase in the amount of available computing and storage resources. Yet few have been able to exploit these resources in an aggregated ...
James Frey, Todd Tannenbaum, Miron Livny, Ian T. F...
SAC
2008
ACM
15 years 6 months ago
Decentralized coordination strategies for the vehicle routing problem
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...
Matteo Vasirani, Sascha Ossowski
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 5 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic