Sciweavers

400 search results - page 11 / 80
» Towards a practical lipreading system
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 3 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
WISTP
2010
Springer
14 years 4 months ago
Towards Electrical, Integrated Implementations of SIMPL Systems
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
Ulrich Rührmair, Qingqing Chen, Martin Stutzm...
SIGIR
2012
ACM
12 years 9 days ago
Ousting ivory tower research: towards a web framework for providing experiments as a service
With its close ties to the Web, the IR community is destined to leverage the dissemination and collaboration capabilities that the Web provides today. Especially with the advent o...
Tim Gollub, Benno Stein, Steven Burrows
ECIS
2001
13 years 11 months ago
Towards More Professional Information Systems Development: ISD as Knowledge Work
The purpose of this paper is to argue that research and practice of ISD could substantially benefit from interpreting ISD as knowledge work. Two distinct areas of competence are i...
Juhani Iivari, Rudy Hirschheim, Heinz K. Klein
AGILEDC
2007
IEEE
14 years 4 months ago
Towards Extreme(ly) Usable Software: Exploring Tensions Between Usability and Agile Software Development
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
Jason Chong Lee, D. Scott McCrickard