21342 search results - page 3819 / 4269 » A Structured Language Model |
173
click to vote
ICS
1994
Tsinghua U.
15 years 8 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
173
click to vote
ECHT
1992
15 years 8 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
160
click to vote
GIS
1992
ACM
15 years 8 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
126
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
137
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...