6607 search results - page 183 / 1322 » Making TeX Work |
106
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we propose a Web Services based solution to exchange learner's information among different elearning systems described following a Web Ontology. The Web Service...
145
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
ISCAS
1995
IEEE
15 years 7 months ago
1995
IEEE
- Recent work has shown that high-order single-bit sigma-delta modulators suffer from lowlevel artifacts such as idle tones and noise modulation. Techniques that have been proposed...
98
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
125
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...