2129 search results - page 205 / 426 » Cutting-Edge Timing Analysis Techniques |
208
click to vote
CUZA
2002
15 years 6 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
175
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
An automatic recognition of online handwritten text has been an on-going research problem for nearly four decades. It has been gaining more interest due to the increasing populari...
192
click to vote
ISMDA
2005
Springer
16 years 4 days ago
2005
Springer
The large number of genes in microarray data makes feature selection techniques more crucial than ever. From various ranking-based filter procedures to classifier-based wrapper tec...
206
click to vote
EMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
212
click to vote
CPAIOR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...