2214 search results - page 161 / 443 » Complexity of Reasoning |
123
Voted
IEAAIE
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
245
Voted
ICDT
1995
ACM
15 years 7 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
127
Voted
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
115
Voted
FLAIRS
2006
15 years 4 months ago
2006
Sensitivity analysis of Markovian models amounts to computing the constants in polynomial functions of a parameter under study. To handle the computational complexity involved, we...
130
click to vote
IJFCS
2006
15 years 3 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...