2381 search results - page 319 / 477 » On Ordering Descriptions in a Description Logic |
106
click to vote
COORDINATION
2005
Springer
15 years 7 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
101
Voted
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes Catrapilas, a small robotic platform, designed to be capable of solving some well known robot problems. Among these are some of the most popular robotic contes...
ERCIMDL
2005
Springer
15 years 7 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
114
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
108
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...