1033 search results - page 123 / 207 » Using Temporal Language Models for Document Dating |
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
TCS
2008
14 years 9 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
SPIN
2012
Springer
13 years 7 days ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...