Sciweavers

949 search results - page 22 / 190
» Programmed Mutagenesis Is Universal
Sort
View
ACL
2012
11 years 10 months ago
Text Segmentation by Language Using Minimum Description Length
The problem addressed in this paper is to segment a given multilingual document into segments for each language and then identify the language of each segment. The problem was mot...
Hiroshi Yamaguchi, Kumiko Tanaka-Ishii
LPAR
2012
Springer
12 years 3 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
WSC
2004
13 years 9 months ago
Ideas for Modeling and Simulation of Supply Chains with Arena
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran
Guilherme Ernani Vieira
SIGPLAN
2002
13 years 7 months ago
An embedded language approach to teaching hardware compilation
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
Koen Claessen, Gordon J. Pace
ICALP
2009
Springer
14 years 7 months ago
Universal Succinct Representations of Trees?
Abstract. We consider the succinct representation of ordinal and cardinal trees on the RAM with logarithmic word size. Given a tree T, our representations support the following ope...
Arash Farzan, Rajeev Raman, S. Srinivasa Rao