2336 search results - page 238 / 468 » A Proposed Methodology for Web Development |
124
Voted
ML
2007
ACM
15 years 3 months ago
2007
ACM
We develop new algorithms for learning monadic node selection queries in unranked trees from annotated examples, and apply them to visually interactive Web information extraction. ...
117
Voted
ICCAD
2004
IEEE
16 years 16 days ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
136
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
109
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
111
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...