1837 search results - page 70 / 368 » Abstraction and the C Machine Model |
AICCSA
2006
IEEE
15 years 1 months ago
2006
IEEE
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...
ISQED
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
113
click to vote
ICML
2001
IEEE
16 years 20 days ago
2001
IEEE
We present conditional random fields, a framework for building probabilistic models to segment and label sequence data. Conditional random fields offer several advantages over hid...
ICALT
2008
IEEE
15 years 6 months ago
2008
IEEE
User Modeling is the core component for the majority of personalization services. It has become an important factor in the effort to personalise a diversity of web resources accor...