Sciweavers

949 search results - page 22 / 190
» Programmed Mutagenesis Is Universal
Sort
View
116
Voted
ACL
2012
13 years 4 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
144
Voted
LPAR
2012
Springer
13 years 9 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
15 years 3 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
15 years 1 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
106
Voted
ICALP
2009
Springer
16 years 2 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