4985 search results - page 757 / 997 » Observation of String-Rewriting Systems |
146
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
164
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
166
click to vote
SECON
2007
IEEE
16 years 24 days ago
2007
IEEE
— In wireless sensor networks, it is desirable to maintain good sensing coverage while keeping the number of active sensor nodes small to achieve long system lifetime. Existing c...
205
click to vote
SEMCO
2007
IEEE
16 years 24 days ago
2007
IEEE
With the success of blogs as popular information sharing media, searches on blogs have become popular. In the blogosphere, tagging is used as a means of annotating blog entries wi...
177
click to vote
SRDS
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...