Sciweavers

4022 search results - page 333 / 805
» Adaptive Sweeping Techniques
Sort
View
214
Voted
HYBRID
2000
Springer
15 years 11 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
HICSS
1995
IEEE
145views Biometrics» more  HICSS 1995»
15 years 11 months ago
Coordination breakdowns: why groupware is so difficult to design
The complexity of group interaction means that there will be many uncertainties in the requirements for software support tools. Many existing software systems rely on the adaptabi...
Steve M. Easterbrook
ATMOS
2008
15 years 9 months ago
Engineering Time-Expanded Graphs for Faster Timetable Information
We present an extension of the well-known time-expanded approach for timetable information. By remodeling unimportant stations, we are able to obtain faster query times with less s...
Daniel Delling, Thomas Pajor, Dorothea Wagner
179
Voted
CIDR
2003
178views Algorithms» more  CIDR 2003»
15 years 8 months ago
Automated Ranking of Database Query Results
Ranking and returning the most relevant results of a query is a popular paradigm in Information Retrieval. We discuss challenges and investigate several approaches to enable ranki...
Sanjay Agrawal, Surajit Chaudhuri, Gautam Das, Ari...
LWA
2004
15 years 8 months ago
An Assessment Framework for eLearning in the Semantic Web
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham