Sciweavers

1552 search results - page 156 / 311
» From Automatic Structures to Borel Structures
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
ICCAD
2005
IEEE
127views Hardware» more  ICCAD 2005»
16 years 15 days ago
Hardware synthesis from guarded atomic actions with performance specifications
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
Daniel L. Rosenband
143
Voted
AAAI
2008
15 years 6 months ago
Text Categorization with Knowledge Transfer from Heterogeneous Data Sources
Multi-category classification of short dialogues is a common task performed by humans. When assigning a question to an expert, a customer service operator tries to classify the cu...
Rakesh Gupta, Lev-Arie Ratinov
147
Voted
MICCAI
2010
Springer
15 years 1 months ago
Construction of Patient Specific Atlases from Locally Most Similar Anatomical Pieces
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
Liliane Ramus, Olivier Commowick, Grégoire ...
99
Voted
JCC
2008
88views more  JCC 2008»
15 years 3 months ago
A self-organizing algorithm for molecular alignment and pharmacophore development
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
Deepak Bandyopadhyay, Dimitris K. Agrafiotis