17054 search results - page 3039 / 3411 » Logics of Dynamical Systems |
200
Voted
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
188
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
194
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
149
Voted
APAL
2007
15 years 7 months ago
2007
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
170
Voted
ARTMED
2010
15 years 7 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...