3971 search results - page 531 / 795 » On the Use of Properties in Java Applications |
195
click to vote
DALT
2004
Springer
16 years 17 days ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
189
click to vote
ECAI
2004
Springer
16 years 17 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
238
click to vote
FOSSACS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
188
click to vote
KR
2004
Springer
16 years 16 days ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
204
click to vote
ISCAS
2003
IEEE
16 years 13 days ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...