7623 search results - page 903 / 1525 » Constructive Volume Modeling |
181
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The visual appearance of an image is closely associated with its low-level features. Identifying the set of features that best characterizes the image is useful for tasks such as ...
177
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an algorithm, HI-MAT (Hierarchy Induction via Models And Trajectories), that discovers MAXQ task hierarchies by applying dynamic Bayesian network models to a successful...
171
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The Biased Minimax Probability Machine (BMPM) constructs a classifier which deals with the imbalanced learning tasks. In this paper, we propose a Second Order Cone Programming (SO...
177
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
312
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...