5896 search results - page 516 / 1180 » On Learning with Integral Operators |
205
click to vote
ICALP
1992
Springer
15 years 11 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
180
click to vote
WSC
2008
15 years 9 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
192
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
203
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...
174
click to vote
LREC
2008
15 years 8 months ago
2008
The DAM-LR project aims at virtually integrating various European language resource archives that allow users to navigate and operate in a single unified domain of language resour...