91 search results - page 3 / 19 » Extended Stigmergy in Collective Construction |
TYPES
2000
Springer
13 years 9 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
CHI
2009
ACM
14 years 18 days ago
2009
ACM
PhotoScope visualizes the spatiotemporal coverage of photos in a photo collection. It extends the standard photo browsing paradigm in two main ways: visualizing spatial coverage o...
DIAGRAMS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
ISSA
2008
13 years 7 months ago
2008
This paper replicates and extends Observed Trends in Spam Construction Techniques: A Case Study of Spam Evolution. A corpus of 169,274 spam email was collected over a period of fi...
COLING
2008
13 years 7 months ago
2008
Our research organization has been constructing a large scale database named SHACHI by collecting detailed meta information on language resources (LRs) in Asia and Western countri...