2139 search results - page 252 / 428 » Connecting language to the world |
111
click to vote
SDM
2012
SIAM
13 years 1 months ago
2012
SIAM
To reveal information hiding in link space of bibliographical networks, link analysis has been studied from different perspectives in recent years. In this paper, we address a no...
IISWC
2008
IEEE
15 years 5 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...
106
click to vote
IEEESCC
2005
IEEE
15 years 4 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
LPAR
2001
Springer
15 years 3 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
ICDCS
1995
IEEE
15 years 2 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...