8903 search results - page 1537 / 1781 » Alternative |
155
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
203
click to vote
MICAI
2005
Springer
16 years 3 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
201
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
165
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Timeliness in conventional real-time systems is addressed by employing well-known scheduling techniques that guarantee the execution of a number of tasks within certain deadlines. ...
218
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....