7495 search results - page 1218 / 1499 » Intelligent Document Processing |
204
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
Conventional performance evaluation mechanisms focus on dedicated distributed systems. Grid computing infrastructure, on another hand, is a shared collaborative environment constr...
156
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
176
click to vote
MM
2005
ACM
16 years 7 days ago
2005
ACM
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
152
click to vote
AOSE
2005
Springer
16 years 7 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
194
click to vote
ASP
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...