435 search results - page 55 / 87 » Approaches to Constructing a Stratified Merged Knowledge Bas... |
WSC
2004
13 years 9 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
SAS
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
ACL
2006
13 years 9 months ago
2006
Using abundant Web resources to mine Chinese term translations can be applied in many fields such as reading/writing assistant, machine translation and crosslanguage information r...