3358 search results - page 539 / 672 » Parametric Aspects: A Proposal |
128
click to vote
AAAI
2006
15 years 7 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...
162
click to vote
APCCM
2004
15 years 7 months ago
2004
Apart from completeness usability, performance and maintainability are the key quality aspects for Web information systems. Considering usability as key implies taking usage proce...
166
click to vote
AIML
2006
15 years 7 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
172
click to vote
CIC
2004
15 years 7 months ago
2004
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
147
click to vote
CSREASAM
2006
15 years 7 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...