2493 search results - page 251 / 499 » Tool Support for Design by Contract |
115
click to vote
JUCS
2008
14 years 11 months ago
2008
: Authoring in adaptive educational hypermedia environment is complex activity. In order to promote a wider application of this technology, the teachers and course designers need s...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
TOMACS
1998
14 years 10 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
TCSV
2002
14 years 10 months ago
2002
This paper presents an efficient VLSI architecture design of MPEG-4 shape coding, which is the key technology for supporting the content-based functionality of the MPEG-4 Video sta...
IAT
2003
IEEE
15 years 4 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...