11561 search results - page 405 / 2313 » A Language for Biochemical Systems |
199
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
187
click to vote
CLEF
2003
Springer
16 years 25 days ago
2003
Springer
This paper discusses the adaptation of the Scene of Crime Information System developed within an EPSRC-funded project, to the collection of data within the ImageCLEF track of the ...
186
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
163
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
188
click to vote
NLPRS
2001
Springer
16 years 1 days ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...