4693 search results - page 705 / 939 » Verifying Hybrid Systems |
167
click to vote
INTERACT
2007
15 years 7 months ago
2007
Many systems – such as map viewers or visual editors – provide a limited viewport onto a larger graphical workspace. The limited viewport means that users often have to navigat...
220
Voted
APBC
2004
15 years 7 months ago
2004
This paper introduces a novel method for minimum number of gene (feature) selection for a classification problem based on gene expression data with an objective function to maximi...
191
click to vote
TMI
2002
15 years 5 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
165
Voted
IJWET
2010
15 years 4 months ago
2010
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
139
Voted
MMAS
2010
Springer
15 years 26 days ago
2010
Springer
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...