2223 search results - page 254 / 445 » Events in Property Patterns |
171
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
162
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require a...
130
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
125
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
Given an arbitrary image, our goal is to segment all distinct
texture subimages. This is done by discovering distinct,
cohesive groups of spatially repeating patterns, called tex...
152
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
— In a rice sorting system, the separation distance of one grain from another is determined by the amount of time taken to process the image of each grain. The closer the separat...