1573 search results - page 207 / 315 » Picture Programming Project |
120
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
181
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
177
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
154
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
161
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...