3831 search results - page 186 / 767 » Dynamic Context Logic |
151
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
156
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
136
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
120
click to vote
ISSA
2008
15 years 5 months ago
2008
A message digest is a fixed length output produced by applying a cryptographic algorithm on input binary data of arbitrary length. If the input data changes even by one bit, the g...
132
click to vote
CONSTRAINTS
2004
15 years 4 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...