1750 search results - page 268 / 350 » Formal multiple-bernoulli models for language modeling |
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform ā synchronising bookmarks in diļ...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a tool for the formal veriļ¬cation of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
IFL
2003
Springer
15 years 3 months ago
2003
Springer
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...