1669 search results - page 126 / 334 » Structured Specification of Model Interpreters |
170
click to vote
ACMSE
2004
ACM
15 years 11 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...
169
click to vote
ACSD
1998
IEEE
15 years 10 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...
191
click to vote
JACM
2010
15 years 1 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...
182
click to vote
ECCV
2010
Springer
15 years 10 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...
175
click to vote
CTCS
1987
Springer
15 years 10 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...