Sciweavers

724 search results - page 98 / 145
» Color, context, and compositionality
Sort
View
CORR
2010
Springer
77views Education» more  CORR 2010»
14 years 11 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
JUCS
2008
165views more  JUCS 2008»
14 years 11 months ago
Shortcut Fusion of Monadic Programs
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
Cecilia Manzino, Alberto Pardo
CGF
2005
100views more  CGF 2005»
14 years 11 months ago
Semanticons: Visual Metaphors as File Icons
Semanticons can enhance the representation of files by offering symbols that are both meaningful and easily distinguishable. The semantics of a file is estimated by parsing its na...
Vidya Setlur, Conrad Albrecht-Buehler, Amy Ashurst...
COLING
2002
14 years 11 months ago
Semantics-based Representation for Multimodal Interpretation in Conversational Systems
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
Joyce Y. Chai
MSCS
1998
58views more  MSCS 1998»
14 years 11 months ago
Minimal Realization in Bicategories of Automata
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F....