4460 search results - page 825 / 892 » Resources in process algebra |
287
click to vote
CVPR
2010
IEEE
16 years 2 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),
embe...
157
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
174
click to vote
ISBRA
2010
Springer
16 years 29 days ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
151
click to vote
LCTRTS
2010
Springer
16 years 29 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
194
click to vote
PAM
2010
Springer
16 years 29 days ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...