2191 search results - page 186 / 439 » Aspect - A Problem For MT |
161
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
128
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
115
click to vote
KGC
1993
Springer
15 years 8 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
153
click to vote
ICML
1989
IEEE
15 years 8 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
181
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...