Sciweavers

967 search results - page 93 / 194
» Topical Word Embeddings
Sort
View
139
Voted
KDD
2012
ACM
179views Data Mining» more  KDD 2012»
13 years 3 months ago
Web image prediction using multivariate point processes
In this paper, we investigate a problem of predicting what images are likely to appear on the Web at a future time point, given a query word and a database of historical image str...
Gunhee Kim, Fei-Fei Li, Eric P. Xing
PADL
2004
Springer
15 years 6 months ago
An Implementation of Session Types
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
Matthias Neubauer, Peter Thiemann
106
Voted
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 4 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
FORMATS
2008
Springer
15 years 2 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
153
Voted
IASTEDSEA
2004
15 years 2 months ago
A component model for building systems software
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar...