Sciweavers

482 search results - page 90 / 97
» Structural Equations in Language Learning
Sort
View
SEMWEB
2009
Springer
14 years 2 months ago
Axiomatic First-Order Probability
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
Kathryn B. Laskey
ICMCS
2007
IEEE
187views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Knowledge-Assisted Medical Image Retrieval
In this paper, we present a knowledge-assisted approach to index and retrieve large volume of medical images. Both images and associated texts are indexed using medical concepts f...
Joo-Hwee Lim, Caroline Lacoste, Jean-Pierre Cheval...
ICMCS
2007
IEEE
130views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Word Topical Mixture Models for Extractive Spoken Document Summarization
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
Berlin Chen, Yi-Ting Chen
CP
2007
Springer
14 years 1 months ago
GAC Via Unit Propagation
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
Fahiem Bacchus
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 24 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb