13026 search results - page 365 / 2606 » Probabilistic Relational Models |
137
click to vote
TLCA
2005
Springer
15 years 10 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...
143
click to vote
TAP
2010
Springer
15 years 10 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...
157
click to vote
BIOCOMP
2006
15 years 6 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...
106
click to vote
HICSS
2007
IEEE
15 years 11 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...
147
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
A hard challenge facing developers of online communities is attaining a critical mass of members and subsequently sustaining their participation. We propose a new mechanism for mot...