4743 search results - page 569 / 949 » The PlusCal Algorithm Language |
130
Voted
NLDB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the paper we present a method that allows an extraction of singleword terms for a specific domain. At the next stage these terms can be used as candidates for multi-wo...
115
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
127
click to vote
HOLOMAS
2009
Springer
15 years 7 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
151
Voted
AOSE
2001
Springer
15 years 7 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
102
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...