Sciweavers

3679 search results - page 730 / 736
» Hybrid Semantic Analysis
Sort
View
JANCL
2008
109views more  JANCL 2008»
13 years 10 months ago
Conditionalization and total knowledge
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
Ian Pratt-Hartmann
TCAD
2008
90views more  TCAD 2008»
13 years 10 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
IPM
2007
105views more  IPM 2007»
13 years 10 months ago
Schema and constraints-based matching and merging of Topic Maps
In this paper, we propose a multi-strategic matching and merging approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constr...
Jung-Min Kim, Hyopil Shin, Hyoung-Joo Kim
IPM
2007
143views more  IPM 2007»
13 years 10 months ago
QCS: A system for querying, clustering and summarizing documents
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
Daniel M. Dunlavy, Dianne P. O'Leary, John M. Conr...
JAIR
2007
132views more  JAIR 2007»
13 years 10 months ago
Using Linguistic Cues for the Automatic Recognition of Personality in Conversation and Text
It is well known that utterances convey a great deal of information about the speaker in addition to their semantic content. One such type of information consists of cues to the s...
François Mairesse, Marilyn A. Walker, Matth...