4520 search results - page 534 / 904 » Algebraic Techniques for Timed Systems |
166
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
In order to maintain the consistency between sources and documentation, while at the same time providing documentation at the design level, it is necessary to generate documentati...
207
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
191
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
178
click to vote
CMMR
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a few aspects of a system for expressive, rule-based modifications of audio recordings regarding tempo, dynamics and articulation. The input audio signal is fi...
206
click to vote
EUC
2007
Springer
15 years 10 months ago
2007
Springer
With the wide adoption of internet into our everyday lives, internet security becomes an important issue. Intrusion detection at the network level is an effective way of stopping m...