Sciweavers

1423 search results - page 206 / 285
» Language Modeling for Determiner Selection
Sort
View
SEFM
2005
IEEE
14 years 2 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
DSVIS
2003
Springer
14 years 2 months ago
Architectures for Widget-Level Plasticity
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
Baha Jabarin, T. C. Nicholas Graham
ADBIS
1999
Springer
104views Database» more  ADBIS 1999»
14 years 1 months ago
Mining Various Patterns in Sequential Data in an SQL-like Manner
Abstract. One of the most important data mining tasks is discovery of frequently occurring patterns in sequences of events. Many algorithms for finding various patterns in sequenti...
Marek Wojciechowski
MM
1997
ACM
82views Multimedia» more  MM 1997»
14 years 1 months ago
A Visual Approach to Multimedia Querying and Presentation
Multimedia data has become readily available from a variety of resources, such as the Web, to users (ranging from naive to sophisticated) who need to select and to present the dat...
Isabel F. Cruz, Wendy T. Lucas
COORDINATION
2006
Springer
14 years 29 days ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...