Sciweavers

6094 search results - page 705 / 1219
» Applications of a Color-Naming Database
Sort
View
ANLP
1997
103views more  ANLP 1997»
15 years 8 months ago
Natural Language in Four Spatial Interfaces
We describe our experiences building spoken language interfaces to four demonstration applications all involving 2- or 3-D spatial displays or gestural interactions: an air combat...
Kenneth Wauchope, Stephanie Everett, Dennis Perzan...
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 8 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
IJAR
2008
91views more  IJAR 2008»
15 years 7 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
208
Voted
JCP
2008
174views more  JCP 2008»
15 years 7 months ago
Design and Implementation of Spatial Data Mining System (M-SDM) based on MATLAB
Taking the design of data analyzing software for imaging brain function -- SPM (Statistical Parameters Mapping) for reference, this study combined MATLAB, GIS and SDM organically, ...
Lu Zhao, Xinqi Zheng, Shuqing Wang
BIB
2000
106views more  BIB 2000»
15 years 6 months ago
Wrapping and Interoperating Bioinformatics Resources Using CORBA
Bioinformaticians seeking to provide services to working biologists are faced with the twin problems of distribution and diversity of resources. Bioinformatics databases are distr...
Robert Stevens, Crispin Miller