Sciweavers

651 search results - page 16 / 131
» Decisions in thesaurus construction and use
Sort
View
MKM
2007
Springer
15 years 5 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
ICIP
1999
IEEE
16 years 1 months ago
Perceptual Grouping of 3-D Features in Aerial Image Using Decision Tree Classifier
We address a new perceptual grouping algorithmfor aerial images, which employs a decision tree classifier and hierarchical multilevel grouping strategy an a bottom-up fashion. In ...
In Kyu Park, Kyoung Mu Lee, Sang Uk Lee
HIPC
2005
Springer
15 years 5 months ago
Orthogonal Decision Trees for Resource-Constrained Physiological Data Stream Monitoring Using Mobile Devices
Several challenging new applications demand the ability to do data mining on resource constrained devices. One such application is that of monitoring physiological data streams ob...
Haimonti Dutta, Hillol Kargupta, Anupam Joshi
CSB
2004
IEEE
146views Bioinformatics» more  CSB 2004»
15 years 3 months ago
Automated Protein Classification Using Consensus Decision
We propose a novel technique for automatically generating the SCOP classification of a protein structure with high accuracy. High accuracy is achieved by combining the decisions o...
Tolga Can, Orhan Çamoglu, Ambuj K. Singh, Y...
IJCAI
2007
15 years 1 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup