5336 search results - page 818 / 1068 » Steerable part models |
188
Voted
POLICY
2004
Springer
16 years 2 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
166
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
165
Voted
HICSS
2003
IEEE
16 years 14 hour ago
2003
IEEE
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
175
click to vote
ICRA
2003
IEEE
16 years 8 hour ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
167
click to vote
ISQED
2003
IEEE
16 years 1 hour ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...