3238 search results - page 351 / 648 » On the Computational Interpretation of Negation |
185
Voted
PADS
2003
ACM
15 years 12 months ago
2003
ACM
The simulation of large–scale multicast networks often requires a significant amount of memory that can easily exceed the capacity of current computers, both because of the inh...
144
click to vote
PADS
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents Maya, a multi-paradigm, scalable and extensible network modeling framework for emulating distributed applications. A novel three-tier architecture is proposed ...
164
click to vote
DIGRA
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores the use of digital games for marketing communications using two theoretical perspectives. Firstly, the external contexts in which video game play takes place a...
180
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Given a set of query points, a dynamic skyline query reports all data points that are not dominated by other data points according to the distances between data points and query po...
166
Voted
ISMVL
2002
IEEE
15 years 11 months ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...