1750 search results - page 258 / 350 » Formal multiple-bernoulli models for language modeling |
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
CCS
1997
ACM
15 years 2 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
FOCS
1989
IEEE
15 years 2 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
ADBIS
2007
Springer
14 years 11 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...