4469 search results - page 352 / 894 » A Language for Role Specifications |
175
click to vote
BSL
2006
15 years 6 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...
163
click to vote
DATASCIENCE
2007
15 years 6 months ago
2007
This paper presents results in automated genre classification of digital documents in PDF format. It describes genre classification as an important ingredient in contextualising s...
195
click to vote
DEBU
1998
15 years 6 months ago
1998
We describe Junglee’s Virtual Database (VDB) technology, which makes the World Wide Web and other external data sources behave as an extension of an enterprise’s relational da...
193
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
164
click to vote
SIMPAR
2010
15 years 5 months ago
2010
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...