Sciweavers

4743 search results - page 358 / 949
» The PlusCal Algorithm Language
Sort
View
XSYM
2009
Springer
139views Database» more  XSYM 2009»
15 years 11 months ago
A Data Parallel Algorithm for XML DOM Parsing
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...
Bhavik Shah, Praveen Rao, Bongki Moon, Mohan Rajag...
ICALP
2003
Springer
15 years 9 months ago
Algorithmic Aspects of Bandwidth Trading
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
Randeep Bhatia, Julia Chuzhoy, Ari Freund, Joseph ...
IGARSS
2010
14 years 11 months ago
Enhanced Cloud algorithm from collocated CALIPSO, CloudSat and MODIS global boundary layer lapse rate studies
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...
Sunny Sun-Mack, Patrick Minnis, Seiji Kato, Yan Ch...
JELIA
1998
Springer
15 years 8 months ago
Higher Order Generalization
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...
Jianguo Lu, Masateru Harao, Masami Hagiya
SBIA
1998
Springer
15 years 8 months ago
Argumentative and Cooperative Multi-agent System for Extended Logic Programming
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...
Iara de Almeida Móra, José Jú...