504 search results - page 57 / 101 » Modular System Development with Pullbacks |
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
125
Voted
VCIP
2003
15 years 3 months ago
2003
In this paper, we proposed a content-based multimedia analysis/retrieval system basing mainly on the MPEG-7 defined features. Some new and specific features are also included for ...
139
Voted
JAR
2010
15 years 29 days ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
110
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
103
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...