Sciweavers

550 search results - page 98 / 110
» Supporting plan authoring and analysis
Sort
View
99
Voted
TALG
2010
86views more  TALG 2010»
15 years 8 days ago
Approximating corridors and tours via restriction and relaxation techniques
Given a rectangular boundary partitioned into rectangles, the Minimum-Length Corridor (MLC-R) problem consists of finding a corridor of least total length. A corridor is a set of ...
Arturo Gonzalez-Gutierrez, Teofilo F. Gonzalez
212
Voted
ACMSE
2011
ACM
14 years 1 months ago
Integrating digital logic design and assembly programming using FPGAs in the classroom
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
William M. Jones, D. Brian Larkins
361
Voted
SIGMOD
2012
ACM
383views Database» more  SIGMOD 2012»
13 years 4 months ago
Dynamic workload driven data integration in tableau
Tableau is a commercial business intelligence (BI) software tool that supports interactive, visual analysis of data. Armed with a visual interface to data and a focus on usability...
Kristi Morton, Ross Bunker, Jock D. Mackinlay, Rob...
STOC
2009
ACM
99views Algorithms» more  STOC 2009»
16 years 2 months ago
Testing juntas nearly optimally
A function on n variables is called a k-junta if it depends on at most k of its variables. In this article, we show that it is possible to test whether a function is a k-junta or ...
Eric Blais
114
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
Towards Validating Security Protocol Deployment in the Wild
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
Luca Compagna, Ulrich Flegel, Volkmar Lotz