Sciweavers

2214 search results - page 218 / 443
» Complexity of Reasoning
Sort
View
C5
2008
IEEE
15 years 10 months ago
SophieScript - Active Content in Multimedia Documents
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
Jens Lincke, Robert Hirschfeld, Michael Rüger...
ETFA
2008
IEEE
15 years 10 months ago
Framework for real-time analysis in Rubus-ICE
In this paper, we present the development of a plug-in framework for integration of real-time analysis methods in the Rubus Integrated Component Environment (RubusICE). We also pr...
Kaj Hänninen, Jukka Mäki-Turja, Staffan ...
123
Voted
ICALT
2008
IEEE
15 years 10 months ago
A Framework for Semantic Group Formation
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
Asma Ounnas, Hugh C. Davis, David E. Millard
130
Voted
ICPR
2008
IEEE
15 years 10 months ago
An approximate algorithm for median graph computation using graph embedding
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
Miquel Ferrer, Ernest Valveny, Francesc Serratosa,...
167
Voted
SEFM
2008
IEEE
15 years 10 months ago
Restricted Broadcast Process Theory
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar