1837 search results - page 123 / 368 » Abstraction and the C Machine Model |
220
click to vote
ASPLOS
2004
ACM
16 years 11 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
166
click to vote
ICML
2008
IEEE
16 years 7 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...
176
Voted
ALT
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We propose a thresholded ensemble model for ordinal regression problems. The model consists of a weighted ensemble of confidence functions and an ordered vector of thres...
184
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Active Learning methods rely on static strategies for sampling unlabeled point(s). These strategies range from uncertainty sampling and density estimation to multi-factor...
171
click to vote
MLDM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...