1317 search results - page 82 / 264 » Fusions of Description Logics and Abstract Description Syste... |
160
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
170
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
174
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
196
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
128
click to vote
FECS
2007
15 years 7 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...