Sciweavers

16430 search results - page 2957 / 3286
» On Computable Tree Functions
Sort
View
JMLR
2006
92views more  JMLR 2006»
15 years 6 months ago
Linear Programs for Hypotheses Selection in Probabilistic Inference Models
We consider an optimization problem in probabilistic inference: Given n hypotheses Hj, m possible observations Ok, their conditional probabilities pk j, and a particular Ok, selec...
Anders Bergkvist, Peter Damaschke, Marcel Lüt...
ENGL
2007
168views more  ENGL 2007»
15 years 6 months ago
A Novel Star Field Approach for Shape Indexing in CBIR Systems
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
Oleg Starostenko, Alberto Chávez-Arag&oacut...
162
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 6 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
ENTCS
2007
115views more  ENTCS 2007»
15 years 6 months ago
Self Management and the Future of Software Design
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
Peter Van Roy
JUCS
2006
109views more  JUCS 2006»
15 years 6 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor
« Prev « First page 2957 / 3286 Last » Next »