4743 search results - page 358 / 949 » The PlusCal Algorithm Language |
152
click to vote
XSYM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
131
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
206
click to vote
IGARSS
2010
14 years 11 months ago
2010
Coincident profile information from CALIPSO's lidar and CloudSat's radar offers a unique opportunity to map the vertical structure of clouds over the globe with accuraci...
147
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
112
click to vote
SBIA
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...