Sciweavers

2947 search results - page 70 / 590
» Analyzing Program Analyses
Sort
View
139
Voted
AGENTS
2001
Springer
15 years 7 months ago
A multi-agent system for automated genomic annotation
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
Keith Decker, Xiaojing Zheng, Carl Schmidt
AGP
1995
IEEE
15 years 6 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara
DGO
2007
123views Education» more  DGO 2007»
15 years 3 months ago
Cross-national information policy conflict regarding access to information: building a conceptual framework
This paper addresses cross-national information policy conflict regarding access to information. This type of information policy conflict appears more complex and controversial th...
Lei Zheng
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 3 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen
HASKELL
2007
ACM
15 years 6 months ago
A functional-logic library for wired
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
Matthew Naylor, Emil Axelsson, Colin Runciman