Sciweavers

1819 search results - page 93 / 364
» Computability and Representations of the Zero Set
Sort
View
FMCAD
2000
Springer
15 years 1 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
ICPR
2008
IEEE
15 years 4 months ago
An approximate algorithm for median graph computation using graph embedding
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
Miquel Ferrer, Ernest Valveny, Francesc Serratosa,...
COLING
2010
14 years 4 months ago
Detection of Simple Plagiarism in Computer Science Papers
Plagiarism is the use of the language and thoughts of another work and the representation of them as one's own original work. Various levels of plagiarism exist in many domai...
Yaakov HaCohen-Kerner, Aharon Tayeb, Natan Ben-Dro...
GW
2003
Springer
109views Biometrics» more  GW 2003»
15 years 3 months ago
Deixis in Multimodal Human Computer Interaction: An Interdisciplinary Approach
Focusing on deixis in human computer interaction this paper presents interdisciplinary work on the use of co-verbal gesture . Empirical investigations, theoretical modeling, and co...
Alfred Kranstedt, Peter Kühnlein, Ipke Wachsm...
ACL
2006
14 years 11 months ago
Modeling Adjectives in Computational Relational Lexica
In this paper we propose a small set of lexical conceptual relations which allow to encode adjectives in computational relational lexica in a principled and integrated way. Our ma...
Palmira Marrafa, Sara Mendes