Sciweavers

3424 search results - page 79 / 685
» Automated Testing of Classes
Sort
View
NCA
2006
IEEE
15 years 6 months ago
Analysing the localisation sites of proteins through neural networks ensembles
Scientists involved in the area of proteomics are currently seeking integrated, customised and validated research solutions to better expedite their work in proteomics analyses and...
Aristoklis D. Anastasiadis, George D. Magoulas
EMSOFT
2007
Springer
16 years 10 days ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
CL
2000
Springer
15 years 9 months ago
Certification of Compiler Optimizations Using Kleene Algebra with Tests
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
Dexter Kozen, Maria-Christina Patron
CVPR
2007
IEEE
16 years 8 months ago
An Exemplar Model for Learning Object Classes
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...
Ondrej Chum, Andrew Zisserman
COLING
2008
15 years 7 months ago
A Supervised Algorithm for Verb Disambiguation into VerbNet Classes
VerbNet (VN) is a major large-scale English verb lexicon. Mapping verb instances to their VN classes has been proven useful for several NLP tasks. However, verbs are polysemous wi...
Omri Abend, Roi Reichart, Ari Rappoport