1179 search results - page 31 / 236 » Modeling Time in Computing: A Taxonomy and a Comparative Sur... |
175
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
148
click to vote
ISCAS
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
152
click to vote
CIARP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
211
click to vote
SEMCO
2007
IEEE
16 years 10 days ago
2007
IEEE
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...
174
click to vote
CIE
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...