4502 search results - page 597 / 901 » Regular Model Checking |
175
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
205
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In contrast to traditional Markov random field (MRF) models, we develop a Steerable Random Field (SRF) in which the field potentials are defined in terms of filter responses that ...
169
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
We describe a technique to simultaneously estimate a local neural fiber model and trace out its path. Existing techniques estimate the local fiber orientation at each voxel indepen...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
178
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We de�...