Sciweavers

1222 search results - page 65 / 245
» Some Results on Directable Automata
Sort
View
UIST
1997
ACM
15 years 2 months ago
Pen-Based Interaction Techniques for Organizing Material on an Electronic Whiteboard
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
Thomas P. Moran, Patrick Chiu, William van Melle
AAAI
2008
15 years 4 days ago
Credulous Resolution for Answer Set Programming
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
DAS
2008
Springer
14 years 11 months ago
A Document Analysis System for Supporting Electronic Voting Research
As a result of well-publicized security concerns with direct recording electronic (DRE) voting, there is a growing call for systems that employ some form of paper artifact to prov...
Daniel P. Lopresti, George Nagy, Elisa H. Barney S...
62
Voted
COR
2006
95views more  COR 2006»
14 years 9 months ago
Generating optimal two-section cutting patterns for rectangular blanks
This paper presents an algorithm for generating unconstrained guillotine-cutting patterns for rectangular blanks. A pattern includes at most two sections, each of which consists o...
Yaodong Cui, Dongli He, Xiaoxia Song
CSDA
2006
67views more  CSDA 2006»
14 years 9 months ago
Sensitivity analysis of the strain criterion for multidimensional scaling
Multidimensional scaling (MDS) is a collection of data analytic techniques for constructing configurations of points from dissimilarity information about interpoint distances. Cla...
R. M. Lewis, M. W. Trosset