3765 search results - page 722 / 753 » Formal Methods for Systems Engineering Behavior Models |
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
TMI
2011
13 years 3 months ago
2011
—Due to the enormous potential and impact that stem cells may have on regenerative medicine, there has been a rapidly growing interest for tools to analyze and characterize the b...
IMC
2006
ACM
14 years 2 months ago
2006
ACM
The academic community has long acknowledged the existence of malicious botnets, however to date, very little is known about the behavior of these distributed computing platforms....
IMC
2007
ACM
13 years 10 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...