827 search results - page 117 / 166 » Proof-Theoretic Soundness and Completeness |
133
click to vote
FOIKS
2010
Springer
15 years 7 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
123
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...
95
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
While desktop grids are attractive platforms for executing parallel applications, their volatile nature has often limited their use to so-called “high-throughput” applications...
101
click to vote
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Full hierarchical dependencies (FHDs) constitute a large class of relational dependencies. A relation exhibits an FHD precisely when it can be decomposed into at least two of its ...
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...