588 search results - page 58 / 118 » Differential Logic for Reasoning About Hybrid Systems |
119
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
123
click to vote
ACIIDS
2010
IEEE
14 years 12 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
110
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
228
click to vote
ARTCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
133
click to vote
JFP
2007
15 years 1 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...