Sciweavers

1750 search results - page 115 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
EWSA
2004
Springer
15 years 11 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
16 years 12 days ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
AGTIVE
2007
Springer
16 years 7 days ago
Generating Eclipse Editor Plug-Ins Using Tiger
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gab...
IAT
2006
IEEE
16 years 3 days ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
PVLDB
2010
103views more  PVLDB 2010»
15 years 4 months ago
Probabilistic XML via Markov Chains
We show how Recursive Markov Chains (RMCs) and their restrictions can define probabilistic distributions over XML documents, and study tractability of querying over such models. ...
Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, P...