2557 search results - page 362 / 512 » Structures of the Environment in Colonies |
140
Voted
TLDI
2010
ACM
16 years 16 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
138
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
137
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
126
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
129
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...