4345 search results - page 309 / 869 » Temporal Constraint Networks |
190
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
189
click to vote
AAAI
2007
15 years 9 months ago
2007
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
165
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
200
click to vote
DBSEC
2007
15 years 8 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
161
click to vote
IJCAI
2007
15 years 8 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...