2252 search results - page 235 / 451 » Regular expression patterns |
180
click to vote
SCALESPACE
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
181
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
160
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
161
click to vote
DATE
2009
IEEE
15 years 10 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 ...
171
click to vote
EPIA
1995
Springer
15 years 10 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...