Sciweavers

2968 search results - page 123 / 594
» Network Programming Using PLAN
Sort
View
122
Voted
ICDE
2010
IEEE
434views Database» more  ICDE 2010»
15 years 7 months ago
Route skyline queries: A multi-preference path planning approach
— In recent years, the research community introduced various methods for processing skyline queries in multidimensional databases. The skyline operator retrieves all objects bein...
Hans-Peter Kriegel, Matthias Renz, Matthias Schube...
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 2 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
ICLP
2007
Springer
15 years 8 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
WOWMOM
2005
ACM
75views Multimedia» more  WOWMOM 2005»
15 years 8 months ago
Towards an Asynchronous Dissemination and a Safe Deployment of Lightweight Programs in Mobile Networks
This paper presents the design and the implementation of a platform allowing owners of mobile devices to exchange software application programs using a peer-to-peer scheme in hybr...
Hervé Roussain, Nicolas Le Sommer, Fr&eacut...
GECCO
2011
Springer
274views Optimization» more  GECCO 2011»
14 years 6 months ago
Fuzzy dynamical genetic programming in XCSF
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
Richard Preen, Larry Bull