238 search results - page 35 / 48 » Covering Codes for Hats-on-a-line |
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
ER
2001
Springer
15 years 2 months ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
90
Voted
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
We present an algorithm for segmentation of traffic scenes that distinguishes moving objects from cast shadows. Three image features at each pixel site are considered: brightness,...