1663 search results - page 257 / 333 » Description Logics for Interoperability |
124
Voted
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
118
Voted
FPL
2009
Springer
15 years 8 months ago
2009
Springer
Recent computing-oriented FPGAs feature DSP blocks including small embedded multipliers. A large integer multiplier, for instance for a double-precision floating-point multiplier...
122
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
148
Voted
CIKM
1999
Springer
15 years 8 months ago
1999
Springer
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
130
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...