6978 search results - page 1092 / 1396 » On Proofs in System P |
185
click to vote
DSD
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
173
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
166
click to vote
MJ
2008
15 years 5 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
147
Voted
ACL
2010
15 years 4 months ago
2010
We present a grand challenge to build a corpus that will include all of the world's languages, in a consistent structure that permits large-scale cross-linguistic processing,...
201
click to vote
EMNLP
2010
15 years 4 months ago
2010
Graph-based methods have gained attention in many areas of Natural Language Processing (NLP) including Word Sense Disambiguation (WSD), text summarization, keyword extraction and ...