1786 search results - page 209 / 358 » The Structure of Factor Oracles |
178
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
175
click to vote
AVI
2010
15 years 8 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
194
click to vote
ECSCW
2007
15 years 8 months ago
2007
: This paper considers the nature of conflict in relation to the environments within which distributed teams cooperate. Effective conflict management can bring great benefits to di...
168
click to vote
EMNLP
2008
15 years 8 months ago
2008
We explore a stacked framework for learning to predict dependency structures for natural language sentences. A typical approach in graph-based dependency parsing has been to assum...
152
click to vote
FLAIRS
2004
15 years 7 months ago
2004
In recent years, Latent Semantic Indexing (LSI) has been recognized as an effective tool for Information Retrieval in text documents. The level of "granularity" in LSI (...