1271 search results - page 94 / 255 » On Simulation-Checking with Sequential Systems |
115
Voted
JNCA
2007
15 years 10 days ago
2007
We describe a minimalist methodology to develop usage-based recommender systems for multimedia digital libraries. A prototype recommender system based on this strategy was impleme...
100
click to vote
SIMPRA
2008
14 years 12 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
103
Voted
KDD
2004
ACM
16 years 26 days ago
2004
ACM
We consider the problem of improving named entity recognition (NER) systems by using external dictionaries--more specifically, the problem of extending state-of-the-art NER system...
104
click to vote
ICFP
2007
ACM
16 years 12 days ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
112
Voted
WSFM
2007
Springer
15 years 6 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...