4099 search results - page 512 / 820 » A Framework for Interactive Proof |
164
click to vote
JMLR
2002
15 years 6 months ago
2002
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
186
click to vote
SCP
1998
15 years 6 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
172
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose a virtualization framework to separate the network operator (NO) who focuses on wireless resource management and service providers (SP) who target distinct objectives...
187
click to vote
JUCS
2010
15 years 5 months ago
2010
: The use of contextual information in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. An important requirement for mobile development...
162
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...