Sciweavers

1312 search results - page 226 / 263
» Embedded contract languages
Sort
View
WWW
2004
ACM
16 years 15 days ago
The web around the corner: augmenting the browser with gps
As programmable mobile devices (such as high-end cellular phones and Personal Digital Assistants) became widely adopted, users ask for Internet access on-the-road. While upcoming ...
Davide Carboni, Andrea Piras, Stefano Sanna, Sylva...
WWW
2001
ACM
16 years 14 days ago
A constraint extension to scalable vector graphics
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
Greg J. Badros, Jojada J. Tirtowidjojo, Kim Marrio...
ICLP
2009
Springer
16 years 14 days ago
Modular Nonmonotonic Logic Programming Revisited
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas ...
KDD
2008
ACM
199views Data Mining» more  KDD 2008»
16 years 7 days ago
Building semantic kernels for text classification using wikipedia
Document classification presents difficult challenges due to the sparsity and the high dimensionality of text data, and to the complex semantics of the natural language. The tradi...
Pu Wang, Carlotta Domeniconi
ICALP
2009
Springer
16 years 3 days ago
Node-Weighted Steiner Tree and Group Steiner Tree in Planar Graphs
We improve the approximation ratios for two optimization problems in planar graphs. For node-weighted Steiner tree, a classical network-optimization problem, the best achievable ap...
Erik D. Demaine, MohammadTaghi Hajiaghayi, Philip ...