1382 search results - page 152 / 277 » Interactive pen-and-ink illustration |
214
click to vote
CASCON
2010
15 years 4 months ago
2010
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
177
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
152
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
174
click to vote
ICAI
2009
15 years 4 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
136
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reconstruction of ripped-up documents can be a very difficult and time-consuming task. This paper discusses a semi-automatic toolset that can be used for reconstructing rip...