1750 search results - page 201 / 350 » Formal multiple-bernoulli models for language modeling |
126
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
132
Voted
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
181
click to vote
DSVIS
2008
Springer
15 years 3 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
118
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...