5550 search results - page 266 / 1110 » Different Approaches to Proof Systems |
158
click to vote
MLMI
2004
Springer
16 years 5 hour ago
2004
Springer
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...
168
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
178
Voted
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
166
click to vote
LWA
2007
15 years 8 months ago
2007
We propose SEASALT, an architecture based on the CoMES approach on developing collaborative multi-expert-systems using case-based reasoning and software agents technology. SEASALT...
173
click to vote
JSA
2002
15 years 6 months ago
2002
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...