Sciweavers

2413 search results - page 145 / 483
» Models for universal usability
Sort
View
FOSSACS
2011
Springer
13 years 2 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel
CEC
2009
IEEE
14 years 5 months ago
Birds on the wall: Distributing a process-oriented simulation
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
Adam T. Sampson, John Markus Bjørndalen, Pa...
HICSS
2005
IEEE
148views Biometrics» more  HICSS 2005»
14 years 4 months ago
Evaluating Web-Based E-Government Services with a Citizen-Centric Approach
One of the challenges in delivering e-government services is to design the Web sites to make it easier for citizens to find desired information. However, little work is found to e...
Lili Wang, Stuart Bretschneider, Jon P. Gant
VISUALIZATION
2000
IEEE
14 years 3 months ago
Scientific visualization of water quality in the Chesapeake Bay
This paper describes our experience in designing and building a tool for visualizing the results of the CE-QUAL-ICM Three-Dimensional Eutrophication Model, as applied to water qua...
Robert Stein, Alan M. Shih, M. Pauline Baker, Carl...
LREC
2010
235views Education» more  LREC 2010»
14 years 7 days ago
A Syntactic Lexicon for Arabic Verbs
In this paper, we present a modeling of the syntactic lexicon for Arabic verbs based on the Lexical Markup Framework. This ISO standard let us describe the lexical information in ...
Noureddine Loukil, Kais Haddar, Abdelmajid Ben Ham...