9507 search results - page 708 / 1902 » Time-based language models |
164
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
197
click to vote
QUATIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
196
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Predictive models of destinations represent an opportunity in the context of the increasing availability and sophistication of in-car driving aids. We present analyses of driversâ€...
184
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...
221
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...