4814 search results - page 393 / 963 » Combining abstract interpreters |
157
Voted
UCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
168
click to vote
ICPR
2010
IEEE
16 years 5 days ago
2010
IEEE
Abstract—This work focuses on the scalability of the Evidence Accumulation Clustering (EAC) method. We first address the space complexity of the co-association matrix. The spars...
176
Voted
AVBPA
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Weighted distance measure and discriminative training are two different approaches to enhance VQ-based solutions for speaker identification. To account for varying import...
163
click to vote
EGOV
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In the CB-BUSINESS project (IST-2001-33147, http://www.cbbusiness.com/), a number of administrative services from public agencies and professional chambers in different c...
164
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...