1052 search results - page 197 / 211 » Foundations for Virtual Types |
113
Voted
FPCA
1989
15 years 6 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
114
Voted
TREC
2004
15 years 4 months ago
2004
In TREC 2004, IRIT modified important features of the strategy that was developed for TREC 2003. Changes include tuning parameter values, topic expansion and exploitation of sente...
133
Voted
WSC
1997
15 years 4 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
117
click to vote
IJMMS
2007
15 years 2 months ago
2007
Blogs, often treated as the equivalence of online personal diaries, have become one of the fastest growing types of Web-based media. Everyone is free to express their opinions and...
95
Voted
MISQ
2000
15 years 2 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...