557 search results - page 98 / 112 » The L4.verified Project - Next Steps |
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An important step to bring speech technologies into wide deployment as a functional component in man-machine interfaces is to free the users from close-talk or desktop mi...
ICWE
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
VISUALIZATION
2003
IEEE
14 years 26 days ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
GECCO
2003
Springer
14 years 24 days ago
2003
Springer
This paper assumes a search space of fixed-length strings, where the size of the alphabet can vary from position to position. Structural crossover is mask-based crossover, and thu...