827 search results - page 117 / 166 » Proof-Theoretic Soundness and Completeness |
188
click to vote
FOIKS
2010
Springer
16 years 19 days 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...
181
click to vote
ICASSP
2008
IEEE
16 years 17 days 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...
148
click to vote
IPPS
2008
IEEE
16 years 16 days 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...
157
click to vote
ACSC
2007
IEEE
16 years 14 days 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 ...
146
click to vote
ICSM
2007
IEEE
16 years 13 days 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...