Sciweavers

3640 search results - page 592 / 728
» Combining Fuzzy Information from Multiple Systems
Sort
View
ECAI
2004
Springer
15 years 9 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
PLDI
1997
ACM
15 years 8 months ago
Incremental Analysis of real Programming Languages
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
Tim A. Wagner, Susan L. Graham
ICCV
2009
IEEE
15 years 2 months ago
Dense 3D reconstruction method using a single pattern for fast moving object
Dense 3D reconstruction of extremely fast moving objects could contribute to various applications such as body structure analysis and accident avoidance and so on. The actual case...
Ryusuke Sagawa, Yuichi Ota, Yasushi Yagi, Ryo Furu...
CICLING
2010
Springer
15 years 9 months ago
Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
Alain-Pierre Manine, Érick Alphonse, Philip...
AINA
2007
IEEE
15 years 10 months ago
Cost-Function-Based Network Selection Strategy in Integrated Wireless and Mobile Networks
—Wireless and mobile networks have experienced great success over the past few years. However, any single type of wireless and mobile network cannot provide all types of services...
Wei Shen, Qing-An Zeng