Sciweavers

265 search results - page 18 / 53
» Perceptual Reasoning: A New Computing with Words Engine
Sort
View
COLING
2010
13 years 2 months ago
Exploiting Paraphrases and Deferred Sense Commitment to Interpret Questions more Reliably
Creating correct, semantic representations of questions is essential for applications that can use formal reasoning to answer them. However, even within a restricted domain, it is...
Peter Clark, Philip Harrison
ASIAMS
2007
IEEE
14 years 1 months ago
Rough-Fuzzy Granulation, Rough Entropy and Image Segmentation
This talk has two parts explaining the significance of Rough sets in granular computing in terms of rough set rules and in uncertainty handling in terms of lower and upper approxi...
Sankar K. Pal
TPHOL
2000
IEEE
13 years 12 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
INFORMATIKTAGE
2008
13 years 9 months ago
Context-Dependent and Self-Responsible Migration of Software Agents in Heterogeneous Environments
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
Dirk Bade
IWSAS
2001
Springer
13 years 12 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla