4095 search results - page 423 / 819 » How to test a tree |
167
click to vote
IMCSIT
2010
15 years 29 days ago
2010
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
226
click to vote
TE
2010
15 years 26 days ago
2010
This paper describes how an intelligent chip architecture has allowed a large cohort of undergraduate students to be given effective practical insight into IC design, by designing ...
178
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Current search engines do not support user searches for chemical entities (chemical names and formulae) beyond simple keyword searches. Usually a chemical molecule can be represen...
291
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
149
Voted
PODC
2009
ACM
16 years 6 months ago
2009
ACM
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...