5683 search results - page 246 / 1137 » Interactive Schedulability Analysis |
199
click to vote
ERCIMDL
2004
Springer
16 years 1 days ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
224
click to vote
IMR
2004
Springer
16 years 11 hour ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
133
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper discusses a scalable solution for integrating legacy illustrated parts drawings into a Class IV Interactive Electronic Technical Manual (IETM) [1,2]. An IETM is an inte...
160
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
198
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...