Sciweavers

3736 search results - page 432 / 748
» Hand-Writing Program Generator Generators
Sort
View
ENVSOFT
2006
120views more  ENVSOFT 2006»
15 years 6 months ago
Improving the analyses of nestedness for large sets of matrices
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
Paulo R. Guimarães Jr., Paulo Guimarã...
JAL
2008
139views more  JAL 2008»
15 years 6 months ago
A test suite for the evaluation of mixed multi-unit combinatorial auctions
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
Meritxell Vinyals, Andrea Giovannucci, Jesú...
155
Voted
APAL
2005
90views more  APAL 2005»
15 years 6 months ago
Explicit mathematics: power types and overloading
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
Thomas Studer
WWW
2009
ACM
16 years 7 months ago
Characterizing insecure javascript practices on the web
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
Chuan Yue, Haining Wang
ACG
2009
Springer
16 years 1 months ago
Plans, Patterns, and Move Categories Guiding a Highly Selective Search
In this paper we present our ideas for an Arimaa-playing program (also called a bot) that uses plans and pattern matching to guide a highly selective search. We restrict move gener...
Gerhard Trippen