11484 search results - page 641 / 2297 » Modeling in the Large and Modeling in the Small |
197
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
222
click to vote
ICWSM
2009
15 years 5 months ago
2009
How do blogs produce posts? What local, underlying mechanisms lead to the bursty temporal behaviors observed in blog networks? Earlier work analyzed network patterns of blogs and ...
228
Voted
SIAMIS
2011
15 years 2 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
182
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
— The need to perform power analysis in the early stages of the design process has become critical as power has become a major design constraint. Embedded and highperformance mic...
194
click to vote
AVSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Although the use of super-resolution techniques has demonstrated the ability to improve face recognition accuracy when compared to traditional upsampling techniques, they are difï...