1385 search results - page 152 / 277 » Natural Rewriting for General Term Rewriting Systems |
166
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
179
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
198
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
The topological properties of a network directly impact the flow of information through a system. For example, in natural populations, the network of inter-individual contacts aff...
192
click to vote
SIGIR
2005
ACM
16 years 1 days ago
2005
ACM
Electronic mail poses a number of unusual challenges for the design of information retrieval systems and test collections, including informal expression, conversational structure,...
179
click to vote
ESANN
2006
15 years 7 months ago
2006
This paper presents a new method for constructing ensembles of classifiers based on immune network theory, one of the most interesting paradigms within the field of artificial imm...