2585 search results - page 483 / 517 » Automating Coherent Logic |
112
Voted
DOLAP
2003
ACM
15 years 6 months ago
2003
ACM
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
120
click to vote
KCAP
2003
ACM
15 years 6 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
107
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
105
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
108
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...