Sciweavers

2393 search results - page 107 / 479
» Fuzzy-UCS: preliminary results
Sort
View
ENTCS
2006
138views more  ENTCS 2006»
15 years 6 months ago
Model Checking Russian Cards
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van...
CORR
2007
Springer
95views Education» more  CORR 2007»
15 years 6 months ago
Do oral messages help visual search?
Abstract A preliminary experimental study is presented, that aims at eliciting the contribution of oral messages to facilitating visual search tasks on crowded displays. Results of...
Noëlle Carbonell, Suzanne Kieffer
CORR
2007
Springer
97views Education» more  CORR 2007»
15 years 6 months ago
Electrostatically-Driven Resonator on Soi with Improved Temperature Stability
This paper deals with a single-crystal-silicon (SCS) MEMS resonator with improved temperature stability. While simulations have shown that the temperature coefficient of resonant ...
A. Giridhar, F. Verjus, F. Marty, A. Bosseboeuf, T...
ECEASST
2007
78views more  ECEASST 2007»
15 years 6 months ago
Lightweight Visualisations of COBOL Code for Supporting Migration to SOA
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...
Joris Van Geet, Serge Demeyer
MP
2006
93views more  MP 2006»
15 years 6 months ago
Computation of Error Bounds for P-matrix Linear Complementarity Problems
Abstract We give new error bounds for the linear complementarity problem where the involved matrix is a P-matrix. Computation of rigorous error bounds can be turned into a P-matrix...
Xiaojun Chen, Shuhuang Xiang