1837 search results - page 67 / 368 » Abstraction and the C Machine Model |
133
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
103
click to vote
ECML
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In contrast to the standard inductive inference setting of predictive machine learning, in real world learning problems often the test instances are already available at ...
ICMLA
2009
14 years 9 months ago
2009
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
105
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
ENTCS
2008
14 years 12 months ago
2008
In this paper we consider a model of different sorting of receptors for Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the di...