5122 search results - page 274 / 1025 » Comparing Consequence Relations |
113
Voted
AAAI
2006
15 years 6 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
145
click to vote
CATE
2004
15 years 6 months ago
2004
The role of assessment and evaluation has recently changed in a way which will have fundamental consequences in applying information and communication technologies (ICTs) to analy...
157
click to vote
CDES
2006
15 years 6 months ago
2006
As the speed gap between CPU and I/O is getting wider and wider, I/O latency plays a more important role to the overall system performance than it used to be. Prefetching consecut...
162
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
150
click to vote
CSREAPSC
2006
15 years 6 months ago
2006
- Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity is not considered properly. To provide seamless connectivity, this pap...