3238 search results - page 235 / 648 » On the Computational Interpretation of Negation |
128
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Clustering methods are a useful and common first step in gene expression studies, but the results may be hard to interpret. We bring in explicitly an indicator of which genes tie ...
166
click to vote
SAMOS
2005
Springer
16 years 3 days ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
156
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
182
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
200
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...