1097 search results - page 187 / 220 » Revision Programming = Logic Programming Integrity Constra... |
110
Voted
IFIP
1992
Springer
15 years 6 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
111
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we propose a new linear programming based timing driven placement framework for high performance designs. Our LP framework is mainly net-based, but it takes advanta...
115
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
115
Voted
ISMB
1997
15 years 4 months ago
1997
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...
123
Voted
JFP
2008
15 years 2 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...