1669 search results - page 126 / 334 » Structured Specification of Model Interpreters |
141
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
130
Voted
ACSD
1998
IEEE
15 years 7 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
145
Voted
JACM
2010
14 years 10 months ago
2010
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
132
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
134
Voted
CTCS
1987
Springer
15 years 7 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...