3931 search results - page 351 / 787 » Separation logic and abstraction |
159
click to vote
DAGM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Reliable object detection and segmentation is crucial for active safety driver assistance applications. In urban areas where the object density is high, a segmentation ba...
153
click to vote
IPTPS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...
141
Voted
ROBOCUP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents a new approach to optimize gait parameter sets using evolutionary algorithms. It separates the crossover-step of the evolutionary algorithm into an in...
166
click to vote
XPU
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
159
click to vote
INFOCOM
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract— Scalability concerns of QoS implementations have stipulated service architectures where QoS is not provisioned separately to each flow, but instead to aggregates of ï¬...