1478 search results - page 113 / 296 » Modular Complexity Analysis via Relative Complexity |
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
One of the major difficulties in face recognition systems is the in-depth pose variation problem. Most face recognition approaches assume that the pose of the face is known. In th...
IRI
2008
IEEE
14 years 3 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
CPE
2003
Springer
14 years 2 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
FORTE
2007
13 years 10 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
CC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...