80 search results - page 4 / 16 » Application of Fractional Calculus in the Control of Heat Sy... |
AICOM
2010
13 years 10 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
FAC
2008
13 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
JNW
2008
13 years 9 months ago
2008
CSIRO is using wireless sensor network technology to deploy "tiny agents", working as autonomous controllers for individual pieces of electrical load/generation equipment...