11066 search results - page 1787 / 2214 » Linearity in Process Languages |
159
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
163
click to vote
COMGEO
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes an approximation based on geographic information retrieval with the purpose to give some solutions to the problem of searching pharmacies on duty in the Spani...
192
click to vote
AI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Extractive text summarization is the process of selecting relevant sentences from a collection of documents, perhaps only a single document, and arranging such sentences ...
173
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
150
click to vote
ACISICIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...