8828 search results - page 426 / 1766 » Formal methods in practice |
159
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
222
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
207
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
161
click to vote
ICAI
2008
15 years 8 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
159
click to vote
AAAI
2006
15 years 8 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...