9507 search results - page 579 / 1902 » Time-based language models |
216
click to vote
TREC
2003
15 years 8 months ago
2003
Statistical model in retrieval has been shown to perform well empirically. Extended Boolean model has been widely used in business system for its easiness to be complemented and n...
202
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
175
click to vote
ICECCS
2005
IEEE
16 years 23 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
141
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
180
click to vote
EWSPT
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...