1626 search results - page 125 / 326 » Subtyping with Power Types |
136
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
126
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
119
click to vote
DFT
1998
IEEE
15 years 8 months ago
1998
IEEE
We present the results of hardware experiments designed to determine the relative contribution of CMOS coupling mechanisms to off-path signal variations caused by common types of ...
108
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
120
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...