3353 search results - page 533 / 671 » Laver and set theory |
DCOSS
2006
Springer
15 years 1 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...
101
click to vote
DEON
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Minimum volume covering ellipsoid estimation is important in areas such as systems identification, control, video tracking, sensor management, and novelty detection. It is well kno...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
The experience described in this paper is being developed in the framework of the PALETTE1 project by two teams of researchers involved in collecting information from some Communi...