4971 search results - page 752 / 995 » Observation systems |
162
click to vote
IWPC
2007
IEEE
16 years 26 days ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
147
click to vote
LICS
2007
IEEE
16 years 26 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 26 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...
167
click to vote
SECON
2007
IEEE
16 years 26 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...
208
click to vote
SEMCO
2007
IEEE
16 years 26 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...