5681 search results - page 154 / 1137 » A Domain Model for eParticipation |
110
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
157
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
ICONIP
2009
15 years 1 months ago
2009
Adaptation is a hallmark of sensory processing. We studied neural adaptation in intracellular voltage responses of the R1-R6 photoreceptors, of the fruit fly Drosophila, subjected ...
125
click to vote
IMCSIT
2010
15 years 1 months ago
2010
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
157
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...