Sciweavers

1209 search results - page 110 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
16 years 3 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
135
Voted
ER
1998
Springer
123views Database» more  ER 1998»
15 years 8 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
EMSOFT
2005
Springer
15 years 9 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
IFIP
2009
Springer
15 years 1 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
IVA
2001
Springer
15 years 8 months ago
The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars
The InViWo project aims at providing high-level intuitive tools to describe virtual worlds populated with “intelligent” creatures and avatars. For this purpose, we have define...
Nadine Richard, Philippe Codognet, Alain Grumbach