8582 search results - page 130 / 1717 » Here or There |
175
click to vote
XSYM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
159
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
189
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
173
click to vote
EXTREME
2004
ACM
15 years 12 months ago
2004
ACM
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
151
click to vote
UIST
2004
ACM
15 years 12 months ago
2004
ACM
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...