Sciweavers

3174 search results - page 502 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
URBAN
2008
128views more  URBAN 2008»
15 years 6 months ago
Discerning landslide susceptibility using rough sets
Rough set theory has been primarily known as a mathematical approach for analysis of a vague description of objects. This paper explores the use of rough set theory to manage the ...
Pece V. Gorsevski, Piotr Jankowski
ASE
2000
116views more  ASE 2000»
15 years 6 months ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
CAD
2002
Springer
15 years 6 months ago
Product variety optimization under modular architecture
This paper discusses product variety design under optimization viewpoint. Product variety design means the challenge to simultaneously design multiple products toward higher optim...
Kikuo Fujita
COLING
2002
15 years 6 months ago
Inducing Information Extraction Systems for New Languages via Cross-language Projection
Information extraction (IE) systems are costly to build because they require development texts, parsing tools, and specialized dictionaries for each application domain and each na...
Ellen Riloff, Charles Schafer, David Yarowsky
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 4 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra