1033 search results - page 126 / 207 » Using Temporal Language Models for Document Dating |
104
click to vote
SEMWEB
2010
Springer
14 years 4 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
ICCD
1995
IEEE
15 years 1 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...