29082 search results - page 5344 / 5817 » The Time-Triggered Model of Computation |
216
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
225
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...
183
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
211
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
211
click to vote
DEON
2006
Springer
15 years 10 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...