Sciweavers

1664 search results - page 29 / 333
» Towards Partial Reasoning
Sort
View
KBSE
2000
IEEE
13 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
NIPS
2007
13 years 8 months ago
Theoretical Analysis of Heuristic Search Methods for Online POMDPs
Planning in partially observable environments remains a challenging problem, despite significant recent advances in offline approximation techniques. A few online methods have a...
Stéphane Ross, Joelle Pineau, Brahim Chaib-...
ICIP
2006
IEEE
14 years 9 months ago
Multi-Streaming of Visual Scenes with Scalable Partial Reliability
Three-dimensional (3D) visual scenes with pluralities of graphic objects require considerable network bandwidth to be transmitted and computing power to be rendered on a user'...
Ghassan Alregib, Dihong Tian
COGSCI
2002
83views more  COGSCI 2002»
13 years 7 months ago
Strategies in sentential reasoning
Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed...
Jean-Baptiste Van der Henst, Yingrui Yang, Philip ...
ICML
2009
IEEE
14 years 8 months ago
Partially supervised feature selection with regularized linear models
This paper addresses feature selection techniques for classification of high dimensional data, such as those produced by microarray experiments. Some prior knowledge may be availa...
Thibault Helleputte, Pierre Dupont