1389 search results - page 86 / 278 » Definability as hypercomputational effect |
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—This paper proposes a new algorithm for H.264 rate control, and aims at improving coding quality of high motion scenes. Firstly, the motion estimations using all the possible mo...
WISE
2005
Springer
14 years 2 months ago
2005
Springer
Many databases have become Web-accessible through form-based search interfaces (i.e., search forms) that allow users to specify complex and precise queries to access the underlying...
MM
2005
ACM
14 years 2 months 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...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...