5900 search results - page 857 / 1180 » Dependable Systems |
175
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Language Modeling (LM) has been successfully applied to Information Retrieval (IR). However, most of the existing LM approaches only rely on term occurrences in documents, queries...
164
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
175
click to vote
CICLING
2003
Springer
15 years 12 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
216
click to vote
EUROSSC
2009
Springer
15 years 11 months ago
2009
Springer
Finding solutions for the current period of climate change or “global warming” is possibly the most serious and pressing challenge faced by scientists and the wider community t...
185
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...