1661 search results - page 252 / 333 » Real-time specification patterns |
120
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
102
click to vote
HRI
2009
ACM
15 years 8 months ago
2009
ACM
An ongoing issue in human robot interaction (HRI) is how people and robots communicate with one another. While there is considerable work in real-time human-robot communication, f...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
For an online handwriting recognition system equipped with a writer-independent classifier to progressively improve the recognition performance for a specific writer with an incre...