Sciweavers

2950 search results - page 308 / 590
» Computing with Infinitely Many Processes
Sort
View
DOCENG
2004
ACM
16 years 2 days ago
Logic-based XPath optimization
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
Pierre Genevès, Jean-Yves Vion-Dury
NPAR
2004
ACM
16 years 2 days ago
Rendering complexity in computer-generated pen-and-ink illustrations
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
Brett Wilson, Kwan-Liu Ma
ICFEM
2004
Springer
16 years 18 hour ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
PAKDD
2004
ACM
131views Data Mining» more  PAKDD 2004»
16 years 2 hour ago
Mining of Web-Page Visiting Patterns with Continuous-Time Markov Models
This paper presents a new prediction model for predicting when an online customer leaves a current page and which next Web page the customer will visit. The model can forecast the ...
Qiming Huang, Qiang Yang, Joshua Zhexue Huang, Mic...
SBIA
2004
Springer
15 years 12 months ago
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
Hemerson Pistori, João José Neto