1712 search results - page 90 / 343 » Abstract Constraint Data Types |
139
Voted
IWRIDL
2006
ACM
15 years 8 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
115
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
95
Voted
ICONIP
2007
15 years 4 months ago
2007
Abstract. A filter algorithm using F-measure has been used with feature redundancy removal based on the Kolmogorov-Smirnov (KS) test for rough equality of statistical distribution...
105
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
118
Voted
COSIT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...