9264 search results - page 359 / 1853 » Space Between Languages |
178
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
205
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
226
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
154
click to vote
SP
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
184
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...