400 search results - page 50 / 80 » Derandomization and Distinguishing Complexity |
128
click to vote
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
Recent work on continuous queries has focused on processing queries in very large, mobile environments. In this paper, we propose a system leveraging the computing capacities of mo...
135
click to vote
EGICE
2006
15 years 5 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
112
click to vote
FTRTFT
2000
Springer
15 years 5 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
CMSB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...
112
click to vote
AVI
2008
15 years 4 months ago
2008
In this paper, we describe a user study aimed at evaluating the effectiveness of two different data visualization techniques developed for describing complex environmental changes...