2634 search results - page 179 / 527 » Faster Than Uppaal |
145
click to vote
USENIX
2003
15 years 7 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
159
Voted
ICONIP
1998
15 years 7 months ago
1998
The paper presents a framework called ECOS for Evolving COnnectionist Systems. ECOS evolve through incremental learning. They can accommodate any new input data, including new fea...
143
click to vote
ACL
1997
15 years 7 months ago
1997
The first step in most empirical work in multilingual NLP is to construct maps of the correspondence between texts and their translations (bitext maps). The Smooth Injective Map R...
172
click to vote
NIPS
1998
15 years 7 months ago
1998
We describe a new iterative method for parameter estimation of Gaussian mixtures. The new method is based on a framework developed by Kivinen and Warmuth for supervised on-line le...
186
click to vote
PDSE
1998
15 years 7 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...