Sciweavers

5962 search results - page 417 / 1193
» Working with Patterns and Code
Sort
View
ECSQARU
1999
Springer
15 years 10 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
CPM
1998
Springer
132views Combinatorics» more  CPM 1998»
15 years 10 months ago
Reporting Exact and Approximate Regular Expression Matches
While much work has been done on determining if a document or a line of a document contains an exact or approximate match to a regular expression, less e ort has been expended in ...
Eugene W. Myers, Paulo Oliva, Katia S. Guimar&atil...
DATE
1997
IEEE
92views Hardware» more  DATE 1997»
15 years 10 months ago
MOSAIC: a multiple-strategy oriented sequential ATPG for integrated circuits
The paper proposes a novel approach in an attempt to solve the test problem for sequential circuits. Up until now, most of the classical test pattern techniques use a number of al...
A. Dargelas, C. Gauthron, Yves Bertrand
ITC
1992
IEEE
76views Hardware» more  ITC 1992»
15 years 10 months ago
A Small Test Generator for Large Designs
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
Sandip Kundu, Leendert M. Huisman, Indira Nair, Vi...
INCDM
2010
Springer
193views Data Mining» more  INCDM 2010»
15 years 10 months ago
Trend Mining in Social Networks: A Study Using a Large Cattle Movement Database
This paper reports on a mechanism to identify temporal spatial trends in social networks. The trends of interest are defined in terms of the occurrence frequency of time stamped p...
Puteri N. E. Nohuddin, Rob Christley, Frans Coenen...