6016 search results - page 884 / 1204 » The semantics of graphical languages |
195
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
327
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
138
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an intelligent tutoring system, LARGO, that helps students learn skills of legal reasoning with hypotheticals by analyzing oral arguments before the US Suprem...
191
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
200
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...