13603 search results - page 188 / 2721 » On the Computational Complexity of Cut-Reduction |
143
click to vote
NAR
2011
14 years 9 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...
184
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
199
click to vote
CATS
2007
15 years 8 months ago
2007
We study the manipulation of voting schemes, where a voter lies about their preferences in the hope of improving the election’s outcome. All voting schemes are potentially manip...
152
click to vote
CRIWG
2003
15 years 8 months ago
2003
Abstract. There has been much research on the design of Groupware, its potential benefits and the methods used to develop systems to support groups. However, in many real life case...
197
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
There is a large amount of data that is published on the Web and several techniques have been developed to extract and integrate data from Web sources. However, Web data are inhere...