1676 search results - page 244 / 336 » Formal System Development with KIV |
124
click to vote
HT
1997
ACM
15 years 8 months ago
1997
ACM
Activity spaces are usually task-specific and only common to a group of people who work together in a certain application domain. It is desirable to enable users to define and mod...
144
click to vote
AAAI
1996
15 years 5 months ago
1996
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
116
click to vote
INFORMATICALT
2008
15 years 4 months ago
2008
This paper presents the Croatian context-dependent acoustic modelling used in speech recognition and in speech synthesis. The proposed acoustic model is based on context-dependent ...
145
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
171
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...