5200 search results - page 118 / 1040 » Symbolic models for control systems |
LREC
2008
13 years 10 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
CG
2000
Springer
13 years 8 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
RTAS
2009
IEEE
14 years 3 months ago
2009
IEEE
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...