Sciweavers

7529 search results - page 345 / 1506
» The Modula-3 Type System
Sort
View
FMOODS
2006
15 years 8 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
TSE
1998
114views more  TSE 1998»
15 years 6 months ago
KLAIM: A Kernel Language for Agents Interaction and Mobility
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugli...
177
Voted
COMGEO
2010
ACM
15 years 5 months ago
Sensor bus: an intermediary layer for linking geosensors and the sensor web
In recent years, the standards of OGC’s Sensor Web Enablement (SWE) initiative have been applied in a multitude of projects to encapsulate heterogeneous geosensors for web-based...
Arne Broering, Theodor Foerster, Simon Jirka, Cars...
ACCV
2010
Springer
15 years 1 months ago
Randomised Manifold Forests for Principal Angle-Based Face Recognition
Abstract. In set-based face recognition, each set of face images is often represented as a linear/nonlinear manifold and the Principal Angles (PA) or Kernel PAs are exploited to me...
Ujwal D. Bonde, Tae-Kyun Kim, K. R. Ramakrishnan
AEOG
2011
143views more  AEOG 2011»
14 years 6 months ago
Analyzing the effects of scale and land use pattern metrics on land use database generalization indices
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...
Yaolin Liu, Limin Jiao, Yanfang Liu