5681 search results - page 154 / 1137 » A Domain Model for eParticipation |
76
Voted
ECAI
2004
Springer
15 years 6 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...
117
click to vote
SMC
2010
IEEE
14 years 11 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...
71
Voted
ICONIP
2009
14 years 10 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 ...
88
Voted
IMCSIT
2010
14 years 10 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...
124
Voted
NFM
2011
14 years 7 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...