Sciweavers

1508 search results - page 251 / 302
» A Toolbox of Level Set Methods
Sort
View
TSE
2008
92views more  TSE 2008»
14 years 9 months ago
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Ram...
JOT
2007
138views more  JOT 2007»
14 years 9 months ago
Flexible Language Interoperability
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
Torbjörn Ekman, Peter Mechlenborg, Ulrik Pagh...
TVLSI
2008
151views more  TVLSI 2008»
14 years 9 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
CORR
1998
Springer
94views Education» more  CORR 1998»
14 years 9 months ago
Semantics and Conversations for an Agent Communication Language
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
Yannis Labrou, Timothy W. Finin
TMI
2002
155views more  TMI 2002»
14 years 9 months ago
Active Shape Model Segmentation with Optimal Features
Abstract--An active shape model segmentation scheme is presented that is steered by optimal local features, contrary to normalized first order derivative profiles, as in the origin...
Bram van Ginneken, Alejandro F. Frangi, Joes Staal...