10890 search results - page 442 / 2178 » Automatic Complexity Analysis |
213
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
180
click to vote
ITCC
2005
IEEE
16 years 13 days ago
2005
IEEE
In software development, many kinds of knowledge are shared and reused as software patterns. Howevel; the relation analysis among software by hand is on the large scale. In this w...
160
click to vote
PST
2004
15 years 8 months ago
2004
Signature-based malicious code detection is the standard technique in all commercial anti-virus software. This method can detect a virus only after the virus has appeared and cause...
203
Voted
MM
2004
ACM
16 years 9 days ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...
227
Voted
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present a region-based active contour detection algorithm for objects that exhibit relatively homogeneous photometric characteristics (e.g. smooth color or gray levels), embedd...