3082 search results - page 281 / 617 » Deviation Analysis: A New Use of Model Checking |
181
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Capturing RLCK circuit responses accurately with existing model order reduction (MOR) techniques is very expensive. Direct metrics for fast analysis of RC circuits exist but there...
156
click to vote
URBAN
2008
15 years 6 months ago
2008
Rough set theory has been primarily known as a mathematical approach for analysis of a vague description of objects. This paper explores the use of rough set theory to manage the ...
243
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
166
click to vote
ACMMSP
2005
ACM
16 years 6 days ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
189
click to vote
WOSP
2005
ACM
16 years 5 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...