Sciweavers

1609 search results - page 164 / 322
» Generating Application Development Environments for Java Fra...
Sort
View
SEM
2004
Springer
15 years 8 months ago
PlanetSim: A New Overlay Network Simulation Framework
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...
Pedro García López, Carles Pairot, R...
133
Voted
MM
2004
ACM
100views Multimedia» more  MM 2004»
15 years 8 months ago
GURU: a multimedia distance-learning framework for users with disabilities
GURU is a distance-learning environment that renders multimedia information to users with disabilities in an accessible manner. It is an implementation framework developed as part...
Vidhya Balasubramanian, Nalini Venkatasubramanian
ECAL
2007
Springer
15 years 9 months ago
Grounding Action-Selection in Event-Based Anticipation
Anticipation is one of the key aspects involved in flexible and adaptive behavior. The ability for an autonomous agent to extract a relevant model of its coupling with the environ...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
EOR
2010
88views more  EOR 2010»
15 years 3 months ago
Mathematical programming approaches for generating p-efficient points
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
Miguel A. Lejeune, Nilay Noyan
TPHOL
2008
IEEE
15 years 9 months ago
The Isabelle Framework
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
Makarius Wenzel, Lawrence C. Paulson, Tobias Nipko...