4880 search results - page 470 / 976 » Manuals as Structured Programs |
183
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
208
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
280
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
There has been a great deal of interest in the past few years on ranking of results of queries on structured databases, including work on probabilistic information retrieval, rank...
197
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
—Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. However,...
161
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— Commercial tuple extraction systems have enjoyed some success to extract tuples by regarding HTML pages as tree structures and exploiting XPath queries to find attributes of t...