Sciweavers

2412 search results - page 283 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
149
Voted
PUK
2000
15 years 5 months ago
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Jana Koehler, Jörg Hoffmann
CORR
2007
Springer
93views Education» more  CORR 2007»
15 years 3 months ago
Collaborative product and process model: Multiple Viewpoints approach
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...
Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout...
118
Voted
COMCOM
2000
79views more  COMCOM 2000»
15 years 3 months ago
Jikzi - a new framework for security policy, trusted publishing and electronic commerce
In this paper, we describe a thread of research which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the bro...
Ross J. Anderson, Jong-Hyeon Lee
150
Voted
PROMISE
2010
14 years 10 months ago
The relationship between search based software engineering and predictive modeling
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
Mark Harman
145
Voted
ISCA
2010
IEEE
336views Hardware» more  ISCA 2010»
15 years 8 months ago
Reducing cache power with low-cost, multi-bit error-correcting codes
Technology advancements have enabled the integration of large on-die embedded DRAM (eDRAM) caches. eDRAM is significantly denser than traditional SRAMs, but must be periodically r...
Chris Wilkerson, Alaa R. Alameldeen, Zeshan Chisht...