1573 search results - page 207 / 315 » Picture Programming Project |
79
Voted
DEXAW
2004
IEEE
15 years 6 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...
132
Voted
CP
2006
Springer
15 years 6 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...
128
Voted
TACAS
2000
Springer
15 years 6 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...
101
click to vote
VL
1992
IEEE
15 years 6 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...
119
Voted
CSE
2009
IEEE
15 years 6 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...