2206 search results - page 145 / 442 » On the power of coercion abstraction |
CORR
2007
Springer
15 years 1 months ago
2007
Springer
In our study we analysed 3.889 records which were indexed in the Library and ion Science Abstracts (LISA) database in the research field of informetrics. We can show the core jour...
113
click to vote
AROBOTS
1999
15 years 1 months ago
1999
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
119
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
149
click to vote
NETWORKING
2011
14 years 4 months ago
2011
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
114
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...