Sciweavers

1760 search results - page 69 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
CLOUD
2010
ACM
15 years 5 months ago
Fluxo: a system for internet service programming by non-expert developers
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuv...
ISMB
1997
15 years 1 months ago
SEALS: A System for Easy Analysis of Lots of Sequences
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
D. Roland Walker, Eugene V. Koonin
108
Voted
PADL
2004
Springer
15 years 5 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
81
Voted
EUROGP
2001
Springer
15 years 5 months ago
Polymorphism and Genetic Programming
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
Tina Yu
68
Voted
TSD
2005
Springer
15 years 6 months ago
Cluster Analysis of Railway Directory Inquire Dialogs
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
Mikhail Alexandrov, Emilio Sanchis Arnal, Paolo Ro...