2722 search results - page 88 / 545 » Automating Language Evolution |
125
click to vote
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
101
Voted
ISCOPE
1997
Springer
15 years 6 months ago
1997
Springer
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...
129
click to vote
DEBU
1998
15 years 2 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...
111
click to vote
RR
2010
Springer
15 years 23 days ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
107
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...