557 search results - page 20 / 112 » The L4.verified Project - Next Steps |
MVA
1994
13 years 10 months ago
1994
We present a procedure to split (or segment) touching numerals. We are neither assuming a dominant orientation for the text direction nor long character strings. The basic idea is...
ISCAS
2011
IEEE
13 years 4 days ago
2011
IEEE
— Understanding circuits is fundamental to electric engineering and continuing to offer courses in theory and applications of electric circuits to new generations of engineering ...
SCIA
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. In this theoretical paper we consider the problem of accurately triangulating a scene plane. Rather than first triangulating a set of points and then fitting a plane to...
HT
2000
ACM
14 years 1 months ago
2000
ACM
This paper discusses hypermedia aspects of the design of a Virtual Project Room. Based on ethnographic and participatory design studies of landscape architects’ and architects&#...
EUROMICRO
2002
IEEE
14 years 1 months ago
2002
IEEE
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...