588 search results - page 48 / 118 » Differential Logic for Reasoning About Hybrid Systems |
129
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
130
click to vote
IJCAI
2007
15 years 3 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
128
click to vote
KI
2002
Springer
15 years 1 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
141
click to vote
CLIMA
2006
15 years 3 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
143
click to vote
BIOCOMP
2008
15 years 3 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...