5804 search results - page 140 / 1161 » Doing more with less |
162
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
151
click to vote
FOCS
1994
IEEE
15 years 10 months ago
1994
IEEE
We consrder asynchronous general topology dynamic networks of identical nameless nodes wzth worst-case transient faults. Starting from any faulty configuration, our protocols self...
192
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
It is often suggested that traditional models of artificial evolution, based on explicit, human-defined fitness functions, are fundamentally more restricted and less creative than ...
124
click to vote
LREC
2010
15 years 7 months ago
2010
This article discusses the treatment of collocations in the context of a long-term project on the development of multilingual NLP tools. Besides "classical" two-word col...
158
click to vote
AAAI
2004
15 years 7 months ago
2004
We study local interchangeability of values in constraint networks based on a new approach where a single value in the domain of a variable can be treated as a combination of &quo...