6248 search results - page 228 / 1250 » Programming in a data factory |
177
Voted
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we propose a method to extract and verify individual speaker utterance using a subspace method. This method can extract speech section of the same speaker by repeat...
161
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
170
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
192
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
171
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...