Sciweavers

4767 search results - page 393 / 954
» Structures for Abstract Rewriting
Sort
View
ISCIS
2005
Springer
16 years 7 days ago
Recovering the Lattice of Repetitive Sub-functions
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
KES
2005
Springer
16 years 7 days ago
Enhancing Computer Chat: Toward a Smooth User-Computer Interaction
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
Calkin A. S. Montero, Kenji Araki
LSSC
2005
Springer
16 years 7 days ago
Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems
Abstract. In this paper we discuss an inclusion method for solving rectangular (over- and under-determined) dense linear systems where the input data are uncertain and vary within ...
Evgenija D. Popova
MFCS
2005
Springer
16 years 7 days ago
Dimension Is Compression
Abstract. Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes. Interesting connections of effective dim...
María López-Valdés, Elvira Ma...
OTM
2005
Springer
16 years 7 days ago
Taking Advantage of LOM Semantics for Supporting Lesson Authoring
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
Olivier Motelet, Nelson A. Baloian