Sciweavers

6794 search results - page 706 / 1359
» Semantics of Visual Languages
Sort
View
AMEC
2004
Springer
16 years 20 days ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
ECOOP
2000
Springer
15 years 11 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
EUROMICRO
1999
IEEE
15 years 11 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
SIGIR
2010
ACM
15 years 11 months ago
Multilingual PRF: english lends a helping hand
In this paper, we present a novel approach to Pseudo-Relevance Feedback (PRF) called Multilingual PRF (MultiPRF). The key idea is to harness multilinguality. Given a query in a la...
Manoj Kumar Chinnakotla, Karthik Raman, Pushpak Bh...
ATAL
1995
Springer
15 years 10 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge