4738 search results - page 297 / 948 » Past, Present, and Future |
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
160
click to vote
IJCSA
2007
15 years 6 months ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
142
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
1 The article presents an online relevancy tuning method using explicit user feedback. The author developed and tested a method of words' weights modification based on search ...
170
Voted
AIM
2000
15 years 6 months ago
2000
Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
150
click to vote
IVC
2000
15 years 6 months ago
2000
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...