1033 search results - page 135 / 207 » Using Temporal Language Models for Document Dating |
SIGDOC
2006
ACM
15 years 3 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
141
click to vote
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
100
click to vote
ADCS
2004
14 years 11 months ago
2004
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
100
click to vote
ASWC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...