887 search results - page 158 / 178 » Representing Systems with Hidden State |
121
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
113
click to vote
NAACL
2003
15 years 3 months ago
2003
Automatic restoration of punctuation from unpunctuated text has application in improving the fluency and applicability of speech recognition systems. We explore the possibility t...
135
click to vote
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
105
click to vote
PICS
2000
15 years 3 months ago
2000
Digital photography has the potential to supersede conventional film photography. In order to realize this potential, digital photography needs to provide the best image quality a...
112
click to vote
IOR
2008
15 years 1 months ago
2008
In many service industries, companies compete with each other on the basis of the waiting time their customers experience, along with the price they charge for their service. A fi...