11160 search results - page 1838 / 2232 » Incompleteness in a General Setting |
229
click to vote
FUZZY
2004
Springer
16 years 7 days ago
2004
Springer
The revealed preference is a central subject in classical consumer theory. Authors like Samuelson, Arrow, Richter, Sen, Uzawa and others have proposed an axiomatic setting of reve...
194
click to vote
ICSNW
2004
Springer
16 years 6 days ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
205
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
227
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
250
Voted
CODES
2003
IEEE
16 years 4 days ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...