Sciweavers

2748 search results - page 151 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
15 years 10 months ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
MICCAI
2003
Springer
16 years 5 months ago
Establishing Local Correspondences towards Compact Representations of Anatomical Structures
Computer-aided diagnosis is often based on comparing a structure of interest with prior models. Such a comparison requires automatic techniques in determining prior models from a s...
Xiaolei Huang, Nikos Paragios, Dimitris N. Metaxas
JASIS
2008
76views more  JASIS 2008»
15 years 4 months ago
Using importance flooding to identify interesting networks of criminal activity
Abstract. In spite of policy concerns and high costs, the law enforcement community is investing heavily in data sharing initiatives. Cross-jurisdictional criminal justice informat...
Byron Marshall, Hsinchun Chen, Siddharth Kaza
CAD
2002
Springer
15 years 4 months ago
Free-form design using axial curve-pairs
Deformation of 3D shapes usually requires the use of a deformation tool. The freeform deformation technique requires the use of a lattice of control point for deforming an object....
K. C. Hui
JCIT
2010
132views more  JCIT 2010»
14 years 11 months ago
Modelling Net Ecosystem CO2 Exchange by Simple Tropical Ecosystem Model
SITE model was developed to study the response of tropical ecosystems according to environmental conditions for estimating of energy fluxes. This study analyzed the net ecosystem ...
Mariceia Tatiane Vilani, Mariele Pinheiro, Luciana...