Sciweavers

145 search results - page 6 / 29
» Characterising the difference
Sort
View
ACL
1998
13 years 9 months ago
A Statistical Analysis of Morphemes in Japanese Terminology
In this paper I will report the result of a quantitative analysis of the dynamics of the constituent elements of Japanese terminology. In Japanese technical terms, the linguistic ...
Kyo Kageura
JUCS
2006
89views more  JUCS 2006»
13 years 7 months ago
Process Equivalences as Global Bisimulations
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
FMCO
2004
Springer
13 years 11 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa
IUI
1997
ACM
13 years 11 months ago
Decision Making in Intelligent User Interfaces
Intelligent user interfaces are characterised by their capability to adapt at run-time and make several communication decisions concerning ‘what’, ‘when’, ‘why’ and ...
Constantine Stephanidis, Charalampos Karagiannidis...
TRIDENTCOM
2006
IEEE
14 years 1 months ago
Description of an IPv6 Linux-based UTRAN testbed
— Network modelling and traffic characterisation are essential research activities towards the optimisation of UMTS. We present here our IPv6 Linux-based UTRAN testbed which aim...
Hugues van Peteghem, Laurent Schumacher