2602 search results - page 206 / 521 » Semantic Analysis of 'to' |
180
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
196
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...
170
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
174
click to vote
EJC
2007
15 years 8 months ago
2007
instrumental roles in titles of medical abstracts: a combined conceptual and modelling UML approach Topic – This paper provides a detailed description of the instrumental role in...
223
click to vote
TRECVID
2008
15 years 8 months ago
2008
In this paper we describe our TRECVID 2008 video retrieval experiments. The MediaMill team participated in three tasks: concept detection, automatic search, and interactive search...