7167 search results - page 399 / 1434 » Answer Set Programming |
144
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
146
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
157
Voted
ENTCS
2006
15 years 3 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
130
Voted
ESWA
2006
15 years 3 months ago
2006
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...
147
Voted
XPU
2010
Springer
15 years 2 months ago
2010
Springer
Pair Programming has often been reported to be beneficial in software projects. To better understand where these benefits come from we evaluate the aspect of intra-pair communica...