Sciweavers

3408 search results - page 498 / 682
» Logic, language, information and computation
Sort
View
ICYCS
2008
IEEE
14 years 4 months ago
DSmT Qualitative Reasoning based on 2-Tuple Linguistic Representation Model
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
Xinde Li, Xianzhong Dai, Jean Dezert, Florentin Sm...
ACSC
2006
IEEE
14 years 4 months ago
A semantic approach to boost passage retrieval effectiveness for question answering
In the current state of the rapid growth of information resources and the huge number of requests submitted by users to existing information retrieval systems; recently, Question ...
Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh
ISORC
1998
IEEE
14 years 2 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
POPL
2010
ACM
14 years 7 months ago
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
Aditya V. Nori, Patrice Godefroid, SaiDeep Tetali,...
HCI
2009
13 years 8 months ago
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
Edgardo Avilés-López, J. Antonio Gar...