12981 search results - page 2366 / 2597 » Model Checking (Abstract) |
125
click to vote
CADUI
2004
15 years 5 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
111
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. This paper deals with the issue of learning in multi-agent systems (MAS). Particularly, we are interested in BDI (Belief, Desire, Intention) agents. Despite the relevance...
183
click to vote
CRIWG
2004
15 years 5 months ago
2004
Abstract. Creativity has become an important factor in recent years, as companies need to be able to quickly adapt to take advantage of new opportunities and handle fast paced chan...
135
click to vote
ECIR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Previous researches on advanced representations for document retrieval have shown that statistical state-of-the-art models are not improved by a variety of different ling...
115
click to vote
ECIS
2004
15 years 5 months ago
2004
The research reported in this paper examines how business value is being created and delivered by IT in large private organisations in Australia. The critical organisational gover...