6020 search results - page 98 / 1204 » A New Approach to Model Counting |
136
Voted
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
141
click to vote
FPL
2000
Springer
15 years 7 months ago
2000
Springer
As integration levels in FPGA devices have increased over the past decade, the structure of programmable logic resources has become more diversified. Recently, Altera Corporation h...
127
Voted
CN
2007
15 years 3 months ago
2007
OLSR is an optimization over classical link state protocols tailored for mobile ad hoc networks. In this paper, we propose the QOLSR protocol which includes quality parameters to ...
121
click to vote
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
131
Voted
RT
2001
Springer
15 years 8 months ago
2001
Springer
: The performance of hardware-based interactive rendering systems is often constrained by polygon fill rates and texture map capacity, rather than polygon count alone. We present a...