Sciweavers

1554 search results - page 198 / 311
» An Overview of the Spring System
Sort
View
IJMSO
2010
119views more  IJMSO 2010»
13 years 7 months ago
Ontological technologies for user modelling
: This paper brings together research from two different fields – user modelling and web ontologies – in attempt to demonstrate how recent semantic trends in web development ca...
Sergey A. Sosnovsky, Darina Dicheva
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 7 months ago
LarvaStat: Monitoring of Statistical Properties
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
Christian Colombo, Andrew Gauci, Gordon J. Pace
TPLP
2010
102views more  TPLP 2010»
13 years 7 months ago
As time goes by: Constraint Handling Rules
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Lesl...
ANTSW
2010
Springer
13 years 7 months ago
Cooperation in a Heterogeneous Robot Swarm through Spatially Targeted Communication
Abstract. We consider a heterogeneous swarm robotic system composed of wheeled and aerial robots called foot-bots and eye-bots, respectively. The foot-bots are able to physically c...
Nithin Mathews, Anders Lyhne Christensen, Rehan O'...
CCR
2010
196views more  CCR 2010»
13 years 6 months ago
OFDMA in the field: current and future challenges
OFDMA will be the predominant technology for the air interface of broadband mobile wireless systems for the next decades. In recent years, OFDMA-based networks based on IEEE 802.1...
Andreas Maeder, Nader Zein