• No results found

extended abstract

Human-centric Transfer Learning Explanation via Knowledge Graph [Extended Abstract]

Human-centric Transfer Learning Explanation via Knowledge Graph [Extended Abstract]

... Transfer learning which aims at utilizing knowledge learned from one problem (source domain) to solve another different but related problem (target domain) has attracted wide research attentions. However, the current ...

5

The partition algebra and the Kronecker product (Extended Abstract)

The partition algebra and the Kronecker product (Extended Abstract)

... Citation: De Visscher, M., Bowman, C. and Orellana, R. (2013). The partition algebra and the Kronecker product (Extended Abstract). Paper presented at the DMTCS Proceedings, 25th International Conference on ...

13

Adding Recursion to Dpi  (Extended Abstract)

Adding Recursion to Dpi (Extended Abstract)

... In this paper we gave an extension of the Dpi -calculus with recursive processes. In particular we described why this construct was more suited to program- ming in the distributed setting, by allowing the description of ...

46

Symbolic bisimulation for a higher order distributed language with passivation (extended abstract)

Symbolic bisimulation for a higher order distributed language with passivation (extended abstract)

... The previous section briefly described internal (τ) and communication (µ) tran- sitions and focused on motivating a set of new symbolic (ζ) transitions for an ad- equate LTS for HOPass. Here we give the precise rules of ...

15

Balancing Translation Quality and Sentiment Preservation (Non archival Extended Abstract)

Balancing Translation Quality and Sentiment Preservation (Non archival Extended Abstract)

... Importantly, although MT can be useful for the sentiment analysis task, it can alter the sentiment of the source-language text in the target language during the translation process (Mo- hammad et al. (2016)). For ...

8

Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract)

Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract)

... The paper is organised as follows. In the following section we study the undistributed ver- sion of our language, πλ, a call-by-value λ-calculus with communication primitives based on channels. Section 3 introduces a ...

16

Type safe execution of mobile agents in anonymous networks (Extended Abstract)

Type safe execution of mobile agents in anonymous networks (Extended Abstract)

... Abstract. We study type-safety properties of open distributed systems of mobile agents, where not all sites are known to be well-typed. We adopt the underlying model of an anonymous network, allowing that code may ...

21

“Managing Strategic Performance in 3-Dimensions”, Extended Abstract presentation

“Managing Strategic Performance in 3-Dimensions”, Extended Abstract presentation

... To get breakthrough results, however, hotel organisations need to replace simplistic causality between the four perspectives of financial, customer, internal business p[r] ...

6

The role of formal specification in rule based real time AI (extended abstract)

The role of formal specification in rule based real time AI (extended abstract)

... The paper describes the use of formal methods in the development of AI interpreters and relates formal methods at this level to work in knowledge representation.. The role of formal spec[r] ...

13

Time constrained restless bandits and the knapsack problem for perishable items (Extended Abstract)

Time constrained restless bandits and the knapsack problem for perishable items (Extended Abstract)

... Since the marginal productivity index measures the value of selecting the item instead of resting it, we propose the following heuristic for the KPPI: “select the items that are given by[r] ...

8

Incentive compatible mechanisms for norm monitoring in open multi agent systems (Extended abstract)

Incentive compatible mechanisms for norm monitoring in open multi agent systems (Extended abstract)

... In this abstract, we present the main ideas from [Alechina et al., 2018]. We consider two settings. In the first, the inad- vertent setting, actions that violate a norm are assumed to be unintentional: violating a ...

5

Register sensitive Translation: a Case Study of Mandarin and Cantonese (Non archival Extended Abstract)

Register sensitive Translation: a Case Study of Mandarin and Cantonese (Non archival Extended Abstract)

... Application of the lexical mappings on Table 1 and syntactic transformation on Ta- ble 3 on an example Mandarin source sentence to generate its high-register and low-register Cantonese t[r] ...

8

Improving Low Resource Machine Translation using Morphological Glosses (Non archival Extended Abstract)

Improving Low Resource Machine Translation using Morphological Glosses (Non archival Extended Abstract)

... The LORELEI language packs from Russian and Spanish also contain dictio- naries mapping source lemmas into target definitions in a custom XML format.. include multiple definitions.[r] ...

8

Exploring Word Sense Disambiguation Abilities of Neural Machine Translation Systems (Non archival Extended Abstract)

Exploring Word Sense Disambiguation Abilities of Neural Machine Translation Systems (Non archival Extended Abstract)

... Exploring Word Sense Disambiguation Abilities of Neural Machine Translation Systems.. Rebecca Marvin [email protected] Philipp Koehn [email protected] Department of Computer Science, Johns Hopkins[r] ...

7

A  Do-It-All-Cipher  for  RFID:  Design  Requirements (Extended  Abstract)

A Do-It-All-Cipher for RFID: Design Requirements (Extended Abstract)

... Abstract. Recent years have seen significant progress in the development of lightweight symmetric cryptoprimitives. The main concern of the designers of these primitives has been to minimize the number of gate ...

12

Bisimulation Congruences in Safe Ambients (extended abstract)

Bisimulation Congruences in Safe Ambients (extended abstract)

... Now an ambient wishing to migrate inside n must exercise a capability of the form inhn, hi, for some password h; but the capability will only have an effect if n exercises the correspond[r] ...

41

Liveness of Communicating Transactions (Extended Abstract)

Liveness of Communicating Transactions (Extended Abstract)

... Abstract. We study liveness and safety in the context of CCS extended with communicating transactions, a construct we recently proposed to model automatic error recovery in distributed systems. We show that ...

16

On the growth of Kronecker coefficients (extended abstract)

On the growth of Kronecker coefficients (extended abstract)

... Abstract. We present a new stability phenomenon for Kronecker coefficients, that we call hook stability: the Kronecker coefficients stabilize if we add cells to the first row and first column of each of the ...

13

Resource access control in systems of mobile agents (Extended Abstract)

Resource access control in systems of mobile agents (Extended Abstract)

... The language studied in this paper, called D π , is a distributed variant of the π -calculus [23], and thus the resources of interest are channels which support binary communication between agents. We take agents to be ...

47

Retrenchment and the Mondex Electronic Purse (Extended Abstract)

Retrenchment and the Mondex Electronic Purse (Extended Abstract)

... Contemporary trends in software construction have highlighted the usefulness of iden- tifying common structural patterns for accomplishing frequently occurring tasks [14, 18, 12]. The experience with Mondex leads us in a ...

8

Show all 10000 documents...

Related subjects