Sciweavers

1463 search results - page 28 / 293
» The State of the Art in Language Modeling
Sort
View
PETRA
2009
ACM
14 years 1 months ago
Design and prototype of a device to engage cognitively disabled older adults in visual artwork
We investigate technological solutions for arts therapists who work with older adults with cognitive disabilities, such as Alzheimer’s disease. We present ethnographic analysis ...
Scott Blunsden, Brandi Richards, Jennifer Boger, A...
VMV
2008
131views Visualization» more  VMV 2008»
13 years 8 months ago
Towards unsupervised reconstruction of architectural models
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
Michela Farenzena, Andrea Fusiello, Riccardo Ghera...
ISSTA
2004
ACM
14 years 25 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ACL
1992
13 years 8 months ago
Information States as First Class Citizens
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
Jørgen Villadsen
DATE
2004
IEEE
147views Hardware» more  DATE 2004»
13 years 11 months ago
Formal Refinement and Model Checking of an Echo Cancellation Unit
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
Alexander Krupp, Wolfgang Müller 0003, Ian Ol...