Sciweavers

3179 search results - page 321 / 636
» Applications of PCF Theory
Sort
View
117
Voted
SEMWEB
2007
Springer
15 years 10 months ago
A Cognitive Support Framework for Ontology Mapping
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
Sean M. Falconer, Margaret-Anne D. Storey
122
Voted
VMCAI
2007
Springer
15 years 10 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
143
Voted
CIMCA
2006
IEEE
15 years 10 months ago
Sensibility Control of Redundant Robots: Position Control by Image Trajectories
This work is dedicated to position control of redundant robots, realized with the help of the sensibility theory. The control method allows controlling the robot position followin...
G. Boiadjiev, D. Vassileva, Haruhisa Kawasaki, Tet...
102
Voted
ECBS
2006
IEEE
90views Hardware» more  ECBS 2006»
15 years 10 months ago
Evaluating Alternatives for Architecture-Oriented Refactoring
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
Sven Wohlfarth, Matthias Riebisch
GLOBECOM
2006
IEEE
15 years 10 months ago
A Network Calculus Approach to Probabilistic Quality of Service Analysis of Fading Channels
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
Markus Fidler