Sciweavers

994 search results - page 113 / 199
» Declarative Programming of User Interfaces
Sort
View
CIDR
2009
159views Algorithms» more  CIDR 2009»
15 years 3 months ago
RIOT: I/O-Efficient Numerical Computing without SQL
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
Yi Zhang 0011, Herodotos Herodotou, Jun Yang 0001
128
Voted
CHI
2008
ACM
16 years 2 months ago
Usability evaluation considered harmful (some of the time)
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...
Saul Greenberg, William Buxton
126
Voted
ICDIM
2007
IEEE
15 years 8 months ago
Automated and scheduled maintenance of digital library collections
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
Wendy Osborn, Steve Fox
FUIN
2010
114views more  FUIN 2010»
14 years 11 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
132
Voted
FMOODS
2007
15 years 3 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...