Sciweavers

2066 search results - page 333 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
WEBNET
2000
13 years 10 months ago
To Measure or not to measure: Why web usability is different from traditional usability
: Web usability is a common term used in discussions of WWW (World Wide Web). This is definitely important, as more and more web sites are frequently visited and have great impact ...
Charlotte Olsson
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 9 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
ENTCS
2008
132views more  ENTCS 2008»
13 years 9 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
JUCS
2008
157views more  JUCS 2008»
13 years 9 months ago
Using Conjunctions and Adverbs for Author Verification
: Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyer...
Daniel Pavelec, Luiz S. Oliveira, Edson J. R. Just...
FGCS
2007
107views more  FGCS 2007»
13 years 9 months ago
Design and analysis of a load balancing strategy in Data Grids
Developing Data Grids has increasingly become a major concern to make Grids attractive for a wide range of data-intensive applications. Storage subsystems are most likely to be a ...
Xiao Qin