Sciweavers

2956 search results - page 149 / 592
» Databases and Higher Types
Sort
View
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 7 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
IIS
2000
15 years 4 months ago
Extension of the HEPAR II Model to Multiple-Disorder Diagnosis
The Hepar II system is based on a Bayesian network model of a subset of the domain of hepatology in which the structure of the network is elicited from an expert diagnostician and ...
Agnieszka Onisko, Marek Druzdezel, Hanna Wasyluk
PRL
2002
104views more  PRL 2002»
15 years 2 months ago
Writer adaptation techniques in HMM based Off-Line Cursive Script Recognition
This work presents the application of HMM adaptation techniques to the problem of Off-Line Cursive Script Recognition. Rather than training a new model for each writer, one first ...
Alessandro Vinciarelli, Samy Bengio
ACL
2009
15 years 29 days ago
Jointly Identifying Temporal Relations with Markov Logic
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair o...
Katsumasa Yoshikawa, Sebastian Riedel, Masayuki As...
ICDT
2010
ACM
149views Database» more  ICDT 2010»
15 years 8 months ago
Mapping Polymorphism
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
Ryan Wisnesky, Mauricio Hernandez, Lucian Popa