Sciweavers

7921 search results - page 284 / 1585
» Process Modeling in Web Applications
Sort
View
ICTIR
2009
Springer
15 years 11 months ago
A Quantum-Based Model for Interactive Information Retrieval
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
Benjamin Piwowarski, Mounia Lalmas
ISCI
2008
108views more  ISCI 2008»
15 years 4 months ago
Modeling and manipulating the structure of hierarchical schemas for the web
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
Theodore Dalamagas, Alexandra Meliou, Timos K. Sel...
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 1 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
15 years 10 months ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
ICMI
2003
Springer
128views Biometrics» more  ICMI 2003»
15 years 9 months ago
Modeling multimodal integration patterns and performance in seniors: toward adaptive processing of individual differences
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
Benfang Xiao, Rebecca Lunsford, Rachel Coulston, R...