1837 search results - page 60 / 368 » Abstraction and the C Machine Model |
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
102
click to vote
ICML
1997
IEEE
16 years 20 days ago
1997
IEEE
Machine learning techniques are applicable to computer system optimization. We show that shared memory multiprocessors can successfully utilize machine learning algorithms for mem...
ICML
2006
IEEE
16 years 20 days ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...
HCI
2007
15 years 1 months ago
2007
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
136
click to vote
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...