5681 search results - page 363 / 1137 » A Domain Model for eParticipation |
145
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
The Hermite Transform is an image representation model that incorporates some important properties of visual perception such as the analysis through overlapping receptive fields a...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
179
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
172
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
180
Voted
ASIAMS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents the use of angular position control approaches for a flexible robot manipulator with disturbances effect in the dynamic system. Delayed Feedback Signal (DFS) a...