445 search results - page 73 / 89 » Model Checking Quantitative Linear Time Logic |
75
Voted
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
103
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
108
Voted
EDBT
2004
ACM
15 years 5 months ago
2004
ACM
Qualitative spatial reasoning forms an important part of the commonsense reasoning required for building intelligent Geographical Information Systems (GIS). Previous research has c...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
121
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...