3724 search results - page 231 / 745 » Timed regular expressions |
211
click to vote
DLT
2009
15 years 3 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
137
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
We present a 3D brain MRI segmentation method in which a high resolution label image evolves under the influence of multiple constraints. The constraints are expressed in a versat...
293
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
144
click to vote
ICPR
2008
IEEE
16 years 9 days ago
2008
IEEE
In patch based face super-resolution method, the patch size is usually very small, and neighbor patches’ relationship via overlapped regions is only to keep smoothness of recons...
151
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...