Sciweavers

3710 search results - page 169 / 742
» A new calculus of contexts
Sort
View
PAMI
2012
13 years 9 months ago
Quantifying and Transferring Contextual Information in Object Detection
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
Wei-Shi Zheng, Shaogang Gong, Tao Xiang
COLING
1996
15 years 8 months ago
A CD-ROM Retrieval System with Multiple Dialogue Agents
In this paper, we proposed a new diMogue system with multiple dialogue agents. In our new system, three types of agents: a) domain agents, b) strategy agents, and c) context agent...
Keiichi Sakai, Tsuyoshi Yagisawa, Minoru Fujita
ICFP
2006
ACM
16 years 7 months ago
Delimited dynamic binding
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 7 months ago
Binding bigraphs as symmetric monoidal closed theories
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
Tom Hirschowitz, Aurélien Pardon
EDO
2000
Springer
15 years 10 months ago
Towards Designing Distributed Systems with ConDIL
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
Felix Bübl