Sciweavers

8492 search results - page 1394 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
COR
2007
176views more  COR 2007»
15 years 6 months ago
Scheduling and routing of automated guided vehicles: A hybrid approach
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
Ayoub Insa Corréa, André Langevin, L...
IJSM
2006
90views more  IJSM 2006»
15 years 6 months ago
Diagrammatic Tools for Generating Biorthogonal Multiresolutions
In a previous work [1] we introduced a construction designed to produce biorthogonal multiresolutions from given subdivisions. This construction was formulated in matrix terms, wh...
Faramarz F. Samavati, Richard H. Bartels
JDCTA
2008
128views more  JDCTA 2008»
15 years 6 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
JAIR
2006
122views more  JAIR 2006»
15 years 6 months ago
Solving Factored MDPs with Hybrid State and Action Variables
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
Branislav Kveton, Milos Hauskrecht, Carlos Guestri...
« Prev « First page 1394 / 1699 Last » Next »