1743 search results - page 209 / 349 » Generalized Modal Satisfiability |
141
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
121
click to vote
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
125
click to vote
COCOON
2008
Springer
15 years 5 months ago
2008
Springer
The problem of determining haplotypes from genotypes has gained considerable prominence in the research community since the beginning of the HapMap project. Here the focus is on de...
125
click to vote
NSDI
2010
15 years 5 months ago
2010
Networks are a shared resource connecting critical IT infrastructure, and the general practice is to always leave them on. Yet, meaningful energy savings can result from improving...
136
click to vote
AML
2006
15 years 3 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...