4743 search results - page 616 / 949 » The PlusCal Algorithm Language |
150
click to vote
CL
2002
Springer
15 years 2 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
118
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents a semantic parsing approach for non domain-specific texts. Semantic parsing is one of the major bottlenecks of Natural Language Understanding (NLU) systems and...
106
click to vote
INTEGRATION
2000
15 years 2 months ago
2000
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
107
click to vote
IPM
2000
15 years 2 months ago
2000
In this paper, we present the system MULINEX, a fully implemented system which supports cross-lingual search of the WWW. Users can formulate, expand and disambiguate queries, filt...
149
click to vote
CORR
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...