Sciweavers

4609 search results - page 479 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
IJSI
2008
115views more  IJSI 2008»
15 years 6 months ago
Towards Knowledge Acquisition from Semi-Structured Content
Abstract A rich family of generic Information Extraction (IE) techniques have been developed by researchers nowadays. This paper proposes WebKER, a system for automatically extract...
Xi Bai, Jigui Sun, Haiyan Che, Lian Shi
IEE
2007
120views more  IEE 2007»
15 years 6 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
TMI
2008
109views more  TMI 2008»
15 years 6 months ago
Efficient Multilevel Brain Tumor Segmentation With Integrated Bayesian Model Classification
Abstract-- We present a new method for automatic segmentation of heterogeneous image data that takes a step toward bridging the gap between bottom-up affinity-based segmentation me...
Jason J. Corso, Eitan Sharon, S. Dube, Suzie El-Sa...
ASE
2004
148views more  ASE 2004»
15 years 6 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
ICMCS
2009
IEEE
159views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Acoustic modeling using an extended phone set considering cross-lingual pronunciation variations
To deal with the issue of data unbalanced condition among a task of multilingual speech recognition and a phenomenon of pronunciation variations across languages, we propose an ap...
Dau-Cheng Lyu, Ren-Yuan Lyu, Ming-Tat Ko