Sciweavers

485 search results - page 27 / 97
» Biometrics: A Grand Challenge
Sort
View
PADS
2003
ACM
15 years 7 months ago
An Implementation of the SSF Scalable Simulation Framework on the Cray MTA
Large-scale parallel discrete event simulations of massive networks, such as the Internet, are “Grand Challenge” problems: packet level simulation of even a small fraction of ...
Robert R. Henry, Simon Kahan, Jason Liu, David M. ...
ERSHOV
2006
Springer
15 years 5 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
ICTAC
2010
Springer
15 years 12 days ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
ACL
2010
14 years 12 months ago
The Human Language Project: Building a Universal Corpus of the World's Languages
We present a grand challenge to build a corpus that will include all of the world's languages, in a consistent structure that permits large-scale cross-linguistic processing,...
Steven P. Abney, Steven Bird
HICSS
2009
IEEE
87views Biometrics» more  HICSS 2009»
15 years 8 months ago
Semantics-Driven Development for Electronic Government Applications
It has been argued that the challenges in electronic government are purely social: that existing methods and tools are perfectly adequate, and that electronic government projects ...
Charles Crichton, Jim Davies, Jeremy Gibbons, Stev...