4636 search results - page 531 / 928 » Modelling and Validation with VipTool |
206
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
188
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
204
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
180
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes a continuous HRTF representation in both 3D spatial and frequency domains. The method is based on the acoustic reciprocity principle and a modal expansion of t...
146
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present an innovative two-stage adaptation approach for handwriting recognition that is based on clustering of similar pages in the training data. In our approach...