1604 search results - page 281 / 321 » Development Separation in Lambda-Calculus |
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
A mundane but theoretically interesting and practically relevant situation presents itself on social networking sites: the co-presence of multiple groups important to an individua...
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
The EnTag (Enhanced Tagging for Discovery) project investigated the effect on indexing and retrieval when using only social tagging versus when using social tagging in combination...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
Over the last fifty years, there have been numerous efforts to develop from first principles a comprehensive discrete formulation of geometric physics, including Whitney’s ge...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...