266 search results - page 21 / 54 » MIPS |
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a novel method to encode four data channels in a volumetric data set, and render it at interactive frame rates with maximum intensity projection (MIP) using textured po...
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
DLOG
2008
13 years 10 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
COR
2004
13 years 7 months ago
2004
The strike force asset allocation problem consists of grouping strike force assets into packages and assigning these packages to targets and defensive assets in a way that maximiz...