10072 search results - page 324 / 2015 » Composition of Model Programs |
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
174
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
169
click to vote
CEC
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper presents two variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling of el...
224
click to vote
FIDJI
2003
Springer
16 years 14 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
196
click to vote
ACL
2008
15 years 8 months ago
2008
The traditional mention-pair model for coreference resolution cannot capture information beyond mention pairs for both learning and testing. To deal with this problem, we present ...