Sciweavers

9444 search results - page 284 / 1889
» The Language Model LMNtal
Sort
View
ECAL
2007
Springer
15 years 10 months ago
Group Size Effects on the Emergence of Compositional Structures in Language
This paper presents computer simulations which investigate the effect that different group sizes have on the emergence of compositional structures in languages. The simulations are...
Paul Vogt
SIGPLAN
2002
15 years 6 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
RULEML
2010
Springer
15 years 5 months ago
Norm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
Guido Governatori, Antonino Rotolo
ICASSP
2009
IEEE
16 years 1 months ago
Product-HMMs for automatic sign language recognition
We address multistream sign language recognition and focus on efficient multistream integration schemes. Alternative approaches are investigated and the application of Product-HM...
Stavros Theodorakis, Athanassios Katsamanis, Petro...
UML
2005
Springer
16 years 5 days ago
Tool Support for Model-Based Generation of Advanced User Interfaces
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
Andreas Wolff, Peter Forbrig, Daniel Reichart