3775 search results - page 301 / 755 » The Expression Problem Revisited |
171
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
167
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we investigate the problem of designing an input signal for a Multi-Input Multi-Output plant to minimize a control-oriented criterion. By employing Ljungâ...
154
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
203
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
161
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we introduce a new graph based bidding language for combinatorial auctions. In our language, each bidder submits to the arbitrator a generalized flow network (netbid...