Sciweavers

2412 search results - page 295 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
ISESE
2002
IEEE
15 years 8 months ago
'Bad Practice' or 'Bad Methods' -- Are Software Engineering and Ethnographic Discourses Incompatible?
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
Kari Rönkkö, Olle Lindeberg, Yvonne Ditt...
129
Voted
CADE
2006
Springer
16 years 3 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
16 years 13 days ago
Retiming with Interconnect and Gate Delay
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...
Chris C. N. Chu, Evangeline F. Y. Young, Dennis K....
131
Voted
MVA
1996
109views Computer Vision» more  MVA 1996»
15 years 4 months ago
Image Features Based on a Mixed Fractal Model and Evaluation of Their Effectiveness in Image Retrieval
Many research works on content-based image retrieval have made use of image features. On the other hand, many kinds of image features have also been developed in the research fiel...
Toshinori Hayashi, Yuzuru Tanaka
154
Voted
SGAI
2010
Springer
14 years 10 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso