Sciweavers

576 search results - page 51 / 116
» Generic Component Lookup
Sort
View
IMCSIT
2010
13 years 7 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister
ICAS
2009
IEEE
125views Robotics» more  ICAS 2009»
14 years 3 months ago
Tools for Architecture Based Autonomic Systems
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
Noel De Palma, Konstantin Popov, Nikos Parlavantza...
AINA
2007
IEEE
14 years 3 months ago
A Utility-Based Adaptivity Model for Mobile Applications
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain us...
Mourad Alia, Viktor S. Wold Eide, Nearchos Paspall...
GLOBECOM
2007
IEEE
14 years 3 months ago
Cooperative Space-Time Coded Transmissions in Nakagami-m Fading Channels
— In this paper we evaluate outage performance of a cooperative transmission protocol over fading channels that requires a number of relaying nodes to employ a distributed space-...
Stefano Savazzi, Umberto Spagnolini
TPHOL
2007
IEEE
14 years 3 months ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff