321 search results - page 39 / 65 » Relating complexity and precision in control flow analysis |
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...
SIGOPS
2010
13 years 6 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
FIS
2008
13 years 9 months ago
2008
Most of the efforts conducted on services nowadays are focusing on aspects related to data and control flow, often disregarding the main goal of the future Internet of services, na...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Many critical elements for statically stable walking for legged robots have been known for a long time, including stability criteria based on support polygons, good foothold se...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...