SODA

Items where Year is 1994

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Number of items: 46.

Ahlgren, Bengt and Gunningberg, Per (1994) A minimal-copy network interface architecture supporting ILP and ALF. In: First International Workshop on High Performance Protocol Architectures (HIPPARCH '94), 15-16 Dec 1994, INRIA, Sophia-Antipolis, France.

Amadio, Roberto and Dam, Mads (1994) Reasoning about Higher-Order Processes. [SICS Report]

Bohm, Christer and Lindgren, Per and Ramfelt, Lars and Sjödin, Peter (1994) The DTM gigabit network. Journal of High Speed Networks, 3 (2). pp. 109-126.

Bretan, Ivan and Karlgren, Jussi (1994) Synergy Effects in Natural Language-Based Multimodal Interaction. [SICS Report]

Bretan, Ivan and Karlgren, Jussi (1994) Worlds Without Words. In: ERCIM workshop on Distributed Interactive Virtual Environments, 1-3 June 1994, Stockholm, Sweden.

Brown, Charles Grant and Waern, Annika (1994) Action-Tracking in DIVE. [SICS Report]

Carlson, Björn and Carlsson, Mats and Diaz, Daniel (1994) Entailment of finite domain constraints. In: ICLP'94, International Conference on Logic Programming, 13-18 June 1994, Santa Margherita Ligure, Italy.

Dam, Mads (1994) Model Checking Mobile Processes (Full version). [SICS Report]

Dam, Mads (1994) On Adaptable Support for Cooperative Work. [SICS Report]

Dam, Mads (1994) On the Decidability of Process Equivalences for the pi-calculus. [SICS Report]

Daviest, Nigel and Pink, Stephen and Blair, Gordon (1994) Services to support distributed applications in a mobile environment. In: Proceedings of the First International Workshop on Services for Distributed and Network Environments, June 1994, Prague.

Eineborg, Martin and Gambäck, Björn (1994) Neural Networks for Wordform Recognition. [SICS Report]

Franzén, Torkel (1994) Some Formal Aspects of AKL. [SICS Report]

Hagersten, Erik and Magnusson, Peter and Landin, Anders (1994) Queue locks on cache coherent multiprocessors. In: 8th International Parallel Processing Symposium (IPPS), April 1994, Cancún, Mexico.

Hagersten, Erik and Saulsbury, Ashley and Landin, Anders (1994) Simple coma node implementations. In: Proceedings of HICSS, 4-7 Jan 1994, Maui, Hawaii.

Hagsand, Olof (1994) Real-Time support for digital audio and video. [SICS Report]

Hagsand, Olof and Sjödin, Peter (1994) Workstation support for real-time multimedia communication. In: Proceedings of the USENIX Winter 1994 Conference, 17-21 Jan 1994, San Francisco, California, USA.

Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron (1994) A polynomial algorithm for deciding bisimilarity of normed context-free processes. [SICS Report]

Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron (1994) A polynomial-time algorithm for deciding bisimilation equivalence of normed Basic Parallel Processes. [SICS Report]

Karlgren, Hans and Karlgren, Jussi and Nordström, Magnus and Pettersson, Paul and Wahrolén, Bengt (1994) Dilemma - An Instant Lexicographer. In: Proceedings of the 15th International Conference on Computational Linguistics, Kyoto, Japan.

Karlgren, Jussi (1994) Mumbling - User-Driven Cooperative Interaction. [SICS Report]

Karlgren, Jussi (1994) Newsgroup Clustering Based On User Behavior - A Recommendation Algebra. [SICS Report]

Karlgren, Jussi and Cutting, Douglass (1994) Recognizing Text Genres with Simple Metrics Using Discriminant Analysis. In: Proceedings of the 15th International Conference on Computational Linguistics, Kyoto, Japan.

Karlgren, Jussi and Gambäck, Björn and Rayner, Manny and Samuelsson, Christer (1994) Spoken Language Translator: First-Year Report. [SICS Report]

Karlgren, Jussi and Höök, Kristina and Lantz, Ann and Palme, Jacob and Pargman, Daniel (1994) The glass box user model for filtering. [SICS Report]

Karlgren, Jussi and Karlgren, Hans and Pettersson, Paul and Nordström, Magnus and Wahrolén, Bengt (1994) Dilemma: a tool for rapid manual translation. In: ACM Conference Human Factors in Computing Systems (CHI), 1994, Boston, Massachusetts.

Karlgren, Jussi and Karlgren, Hans and Pettersson, Paul and Nordström, Magnus and Wahrolén, Bengt (1994) Dilemma: a tool to ensure quality of new translations by using previous ones. In: 4th International Conference on Intelligent Multimedia Information Retrieval Systems and Management (RIAO), 1994, New York, New York.

Karlsson, Gunnar (1994) ATM adaptation for video. In: Proceedings of Sixth International Workshop on Packet Video, 26-27 Sept 1994, Portland, OR, USA.

Kreuger, Per (1994) A-sufficient substitutions in mixed contexts. In: Proceedings of the Workshop Proof-Theoretic Extensions of Logic Programming at the International Conference on Logic Programming, 1994, Santa Margherita Ligure.

Lemaire, Benoit and MacDermid, Catriona and Waern, Annika (1994) Adaptive help by navigation and explanation. [SICS Report]

Lindberg, Nikolaj and Santamarta, Lena (1994) When SUC met CLE. Parsing tagged unrestricted text in the Swedish Core Language Engine. [SICS Report]

Lisper, Björn (1994) Unfolding of Programs with Nondeterminism. [SICS Report]

Magnusson, Peter S. and Landin, Anders and Hagersten, Erik (1994) Efficient Software Synchronization on Large Cache Coherent Multiprocessors. [SICS Report]

Magnusson, Peter S. and Samuelsson, David (1994) A Compact Intermediate Format for SimICS. [SICS Report]

Magnusson, Peter S. and Werner, Bengt (1994) Some Efficient Techniques for Simulating Memory. [SICS Report]

Nilsson, Robert P. and Hammarström, Kent Saxin (1994) V: A Visual Query Language for Multimodal Interfaces. [SICS Report]

Orava, Fredrik (1994) Specifying and analysing resource management in DTM protocols. [SICS Report]

Parrow, Joachim and Sjödin, Peter (1994) The complete axiomatization of cs-congruence. In: Proceedings of STACS '94, 24-26 Feb 1994, Caen, France.

Pink, Stephen and Klemets, Anders (1994) Low latency file access in a high bandwidth environment. In: Proceedings of the ACM SIGOPS European Workshop, Sept 1994, Wadern, Germany.

Samuelsson, David (1994) System Level Interpretation of the SPARC V8 Instruction Set Architecture. [SICS Report]

Saulsbury, Ashley and Landin, Anders and Hagersten, Erik (1994) Coma machines can be easily built. In: Proceedings of the Fourth Workshop on Scalable Shared Memory Multiprocessors, April 1994, Chicago, IL, USA.

Saulsbury, Ashley and Wilkinson, Tim and Carter, John and Landin, Anders and Haridi, Seif (1994) An Argument for Simple COMA. [SICS Report]

Sjöland, Thomas and Sahlin, Dan (1994) Fixpoint Analysis of Type and Alias in AKL Programs. [SICS Report]

Vivas, José-Luis (1994) Design of Telephony Services In Lotos. [SICS Report]

Waern, Annika (1994) Plan recognition for a purpose. [SICS Report]

Waern, Annika and Holm, Peter (1994) Human factors engineering in common-KADS. [SICS Report]

This list was generated on Sun Sep 24 21:03:16 2017 CEST.