3995 search results - page 412 / 799 » Linearization of hybrid processes |
151
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
213
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
Topic modeling techniques have widespread use in text data mining applications. Some applications use batch models, which perform clustering on the document collection in aggregat...
234
click to vote
APBC
2004
15 years 8 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...
167
click to vote
IJDAR
2007
15 years 6 months ago
2007
In this paper, based on the study of the specificity of historical printed books, we first explain the main error sources in classical methods used for page layout analysis. We sho...
211
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...