2602 search results - page 130 / 521 » Semantic Analysis of 'to' |
180
click to vote
ROOM
2000
15 years 7 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
141
click to vote
ENTCS
2008
15 years 6 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
167
click to vote
ECTEL
2007
Springer
16 years 18 days ago
2007
Springer
In Cooper, part of the student support will be provided by a Question Answering application in the form of a webservice. Question Answering allows a user to use the content of proj...
215
click to vote
AACC
2004
Springer
15 years 12 months ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
161
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...