9730 search results - page 86 / 1946 » Relating models of backtracking |
143
click to vote
TFS
2008
15 years 3 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
125
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
129
click to vote
TAP
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
145
click to vote
BIOCOMP
2006
15 years 4 months ago
2006
We report on the development of a relational genomic search engine that integrates search of structured biological data and biomedical literature. After identifying an optimal prep...
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Drawing a distinction between relational and nonrelational sources, we explore the antecedents to selecting an information source. The antecedents to use have been categorized int...