599 search results - page 83 / 120 » Type System for Specializing Polymorphism |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Social networking and collaboration sites are having a large impact on people's personal lives. These same applications, similar functions and related experiences are being a...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
Users and developers require some way to identify by human readable names the many resources that comprise a ubiquitous computing environment. In addition, naming in such environm...
EPIA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
ICALP
2010
Springer
14 years 16 days ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
DOOD
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...