Sciweavers

3736 search results - page 177 / 748
» Hand-Writing Program Generator Generators
Sort
View
LPNMR
2004
Springer
15 years 11 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
DIS
2007
Springer
16 years 10 days ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
ESOP
2007
Springer
16 years 10 days ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
16 years 6 days ago
Movie-Based Multimedia Matrix Library
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
Dmitry A. Vazhenin, Alexander Vazhenin
WCRE
2000
IEEE
15 years 10 months ago
Designing an XML-based Exchange Format for Harmonia
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
Marat Boshernitsan, Susan L. Graham