3653 search results - page 282 / 731 » Analyzing language development from a network approach |
155
Voted
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
149
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
185
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many sensor network applications exploit the mobility of sensor nodes and the location-awareness plays an important role in these applications. However, it is too expensive to ...
180
click to vote
COMCOM
2007
15 years 6 months ago
2007
A wireless sensor network (WSN) consists of many tiny and low-power devices deployed in a sensing field. One of the major tasks of a WSN is to monitor the surrounding environment...
171
click to vote
NPL
2006
15 years 6 months ago
2006
Landmines are a major problem facing the world today; there are millions of these deadly weapons still buried in various countries around the world. Humanitarian organizations dedi...