3028 search results - page 372 / 606 » Integrating Temporal Logics |
144
click to vote
ISMIR
2004
Springer
16 years 8 hour ago
2004
Springer
We present a new system for the estimation of note attributes from a live monophonic music source, within a short time delay and without any previous knowledge of the signal. The ...
199
click to vote
SG
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
165
Voted
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
A mixed-signal architecture for estimating the 3-D direction cosines of a broadband traveling wave impinging on an array of four sensors is presented. The architecture implements ...
181
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
208
click to vote
EPS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a GA for job shop scheduling problems. Using the Giffler and Thompson algorithm, we created two new operators, THX crossover and mutation, which better trans...