Sciweavers

4273 search results - page 477 / 855
» User studies and the design of Natural Language Systems
Sort
View
DAC
2002
ACM
16 years 7 months ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
GRID
2005
Springer
16 years 11 days ago
Grid-level computing needs pervasive debugging
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven...
CIKM
1999
Springer
15 years 11 months ago
Requirement-Based Data Cube Schema Design
On-line analytical processing (OLAP) requires e cient processing of complex decision support queries over very large databases. It is well accepted that pre-computed data cubes ca...
David Wai-Lok Cheung, Bo Zhou, Ben Kao, Hongjun Lu...
VL
2003
IEEE
139views Visual Languages» more  VL 2003»
16 years 3 days ago
Programming in a data factory
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
Steven L. Tanimoto
EUSAI
2004
Springer
16 years 7 days ago
Using Cooperative Artefacts as Basis for Activity Recognition
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
Martin Strohbach, Gerd Kortuem, Hans-Werner Geller...