8903 search results - page 135 / 1781 » Alternative |
161
click to vote
IPMU
2010
Springer
15 years 4 months ago
2010
Springer
Negotiation is a process that ranges from international issues to common society interactions. We present approaches to facilitate the process by exploring alternative spaces for t...
130
click to vote
JCIT
2010
15 years 26 days ago
2010
With respect to multiple attribute decision making problems with linguistic information of attribute values and weight values, a decision analysis is proposed. Then, a method base...
147
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
It is well-known that linguistic decision-making problems that manage preferences from different experts follow a common resolution scheme composed by two phases: an aggregation p...
148
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
124
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
The alternative wire technique attempts to replace a target wire by another wire without changing the logic functionality. In this paper, we propose two new transformations of rep...