4166 search results - page 186 / 834 » A modular module system |
80
Voted
NIPS
2007
14 years 11 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (âˆ...
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
121
Voted
CAIP
2007
Springer
15 years 4 months ago
2007
Springer
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...