1.
Eliminate Existentially Quantified Variables
Elimination of an existentially quantified integer variable may create nonconvex constraints. The Omega test uses two techniques to represent nonconvex ...
2.
The Quadtree and Related Hierarchical Data Structures
File Format: PDF/Adobe Acrobat - View as HTML quadtree is used to describe a class of hierarchical data structures whose ...... see that the hierarchical structure of the quadtree data structure saves ...
3.
Ben Shneiderman
The University of Maryland’s Treemap 4.0, developed in cooperation with Catherine ... The March/April 2007 issue of ACM Interactions has an 8-page portfolio of ... A Photo History of SIGCHI: Evolution of Design from Personal to Public (2003) ... pote
4.
Success in Spades: Using AI Planning Techniques to Win the World ...
File Format: PDF/Adobe Acrobat - View as HTML adaptation of HTN planning techniques to plan declarer play in contract bridge. To represent the various tactical schemes of card-playing in bridge, ...
5.
Lab Package for the Empirical Investigation of Perspective-Based ...
This lab package describes an experiment that has been designed to compare such reading techniques. In particular, we have proposed a technique called ...
6.
High Performance System Software Laboratory at UMCP
Feb 4, 2002 ... University of Maryland, College Park. Group contact information and research description.
7.
High Performance System Software Laboratory at UMCP
Feb 4, 2002 ... University of Maryland, College Park. Group contact information and research description.
8.
Nearly Optimal Expected-Case Planar Point Location
File Format: PDF/Adobe Acrobat - View as HTML on the expected-case search time, and further there ex- ist search trees achieving expected .... lem it is quite remarkable that the expected-case com- ...
9.
Understanding Source Code Evolution Using Abstract Syntax Tree ...
File Format: PDF/Adobe Acrobat - View as HTML analyze the bodies of functions of the same name and match ... Detector. Name Matchings. Figure 1: High level view of AST matching typedef int s z t ; ...
10.
WestLaw Case Explorer
WestLaw Case Explorer. Requirements: Internet Explorer 4 or Netscape 4.06 (or greater). Please wait a moment while the applet starts...