Sciweavers

2968 search results - page 133 / 594
» Network Programming Using PLAN
Sort
View
AIME
1997
Springer
15 years 6 months ago
Developing a Decision-Theoretic Network for a Congenital Heart Disease
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
Niels Peek, Jaap Ottenkamp
131
Voted
CN
2006
112views more  CN 2006»
15 years 2 months ago
Optimal server allocations for streaming multimedia applications on the Internet
In this paper, we address the server selection problem for streaming applications on the Internet. The architecture we consider is similar to the content distribution networks con...
Padmavathi Mundur, Poorva Arankalle
108
Voted
MICAI
2000
Springer
15 years 6 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
135
Voted
FIRBPERF
2005
IEEE
259views Algorithms» more  FIRBPERF 2005»
15 years 8 months ago
Performance Issues in Video Streaming Environments
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
Giuliano Casale, Paolo Cremonesi, Giuseppe Serazzi...
CISIS
2007
IEEE
15 years 4 months ago
Task Decomposition and Delegation Algorithms for Coordinating Unstructured Multi Agent Systems
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
António Luis Lopes, Luís Miguel Bote...