检索结果-内蒙古大学图书馆

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Diprose, James P. Univ Auckland Dept Comp Sci Auckland 1 New Zealand

ISBN: (纸本)9781479940356

Whilst robots are increasingly being used in scenarios that involve human-robot interaction, it is still difficult to program them to interact with humans. This is because current programming tools either require programmers to work at low abstraction levels or they lack features needed to implement particular aspects of human-robot interaction. Our goal is to create an API that is both capable of programming a wide range of human-robot interaction scenarios and is easy to use by the various users of human-robot interaction programming tools. We have taken a first step toward this API by developing an exemplar, high level API for programming social interaction and evaluating it with the Cognitive Dimensions framework. We plan to explore other aspects of human-robot interaction, including navigation and manipulation and exploring how they should be integrated with our existing primitives for programming social interaction.

关键词： application programming interfaces api usability design cognitive dimensions human robot interaction social robot interaction navigation manipulation humanoid robot

来源：评论

学校读者我要写书评

暂无评论

The meaning of free choice

引用

LINGUISTICS AND PHILOSOPHY 2001年第6期24卷 659-735页

作者： Giannakidou, A Univ Groningen Dept Dutch Frisian & Low Saxon NL-9700 AB Groningen Netherlands Univ Chicago Dept Linguistics Chicago IL 60637 USA

In this paper, I discuss the distribution and interpretation of free choice items (FCIs) in Greek, a language exhibiting a lexical paradigm of such items distinct from that of negative polarity items. Greek differs in this respect from English, which uniformly employs any. FCIs are grammatical only in certain contexts that can be characterized as nonveridical (Giannakidou 1998, 1999), and although they yield universal-like interpretations in certain structures, they are not, I argue, universal quantifiers. Evidence will be provided that FCIs are indefinites, the quasi-universal effect is shown to be the result of binding by an operator with universal force. Additionally, the limited distribution of FCIs in nonveridical contexts can be accounted for by analyzing them as indefinites which must always be interpreted in an intensional type. The difference between 'regular' indefinites and FCIs, therefore, is reduced to a type difference which captures the fact that only the latter exhibit limited distribution: because of their intensional type, FCIs will be grammatical only in contexts providing alternatives (worlds or situations), and nonveridical contexts do exactly this. By contrast, FCIs are excluded form veridical and episodic contexts because these provide no alternatives and hence do not satisfy the lexical semantic requirement of FCIs. The proposed analysis is supported by data from other languages as well (Spanish, Catalan, French) and has important consequences regarding the analysis of English any. If FCIs are not universal quantifiers but indefinites, then the usual ambiguity thesis (free choice any being universal, negative polarity any an existential) can no longer by maintained, at least not as one in terms of quantificational force.

关键词： application programming interfaces Verbs Predicates Linguistic ambiguity Universality Presuppositions Intensionality Lexical quantifiers

来源：评论

学校读者我要写书评

暂无评论

To Be or Not to Be Sisupala: Which Version of the Key Speech in Magha's Great Poem Did He Really Write?

引用

JOURNAL OF THE AMERICAN ORIENTAL SOCIETY 2012年第3期132卷 427-455页

作者： Bronner, Yigal McCrea, Lawrence Hebrew Univ Jerusalem IL-91905 Jerusalem Israel Cornell Univ Ithaca NY 14853 USA

The article critiques the poem 'Sisupallavadha (The Killing of Sisupala),' by Mágha. It analyzes two different version of Sisupala's speech in the magisterial poem. The episode of Sisupala's verbal attack on Krsna, the hero in the poem, is considered. The author also discusses the possible historical scenarios that led to the development of two versions of the poem.

关键词： Narrative poetry Classical poetry Poetic themes Literary characters Irony Narrative plot Literary criticism Blame application programming interfaces

来源：评论

学校读者我要写书评

暂无评论

Concept of interlinking mobility services for urban transport towards intermodal mobility including private and shared electromobility 14

Concept of interlinking mobility services for urban transpor...

引用

14th International Conference on Ecological Vehicles and Renewable Energies (EVER)

作者： Breuer, Daniel Spichartz, Philipp Sourkounis, Constantinos Ruhr Univ Bochum Inst Power Syst Technol & Power Mechatron Univ Str 150 D-44801 Bochum Germany

ISBN: (纸本)9781728137032

This paper presents a user-friendly solution for the generation of individually tailored intermodal mobility solutions involving various mobility providers. This consists of three essential elements. The users request the route planning via an interactive communication platform (smartphone- and web application), book one of the given solutions and pay for it as a bundle. Preferences or boundary conditions, such as the necessity of accessibility, can be specified by the users. A cloud-based data management system (CDMS) serves as a central interconnection and computing unit. Here, the offers of various mobility providers, including local public transport, car and bike sharing providers, as well as real-time data from various modes of transport are bundled and used to calculate reliable, tailor-made overall solutions for users. The real-time data also includes states of charge and the current charging power of electric vehicles as well as the utilisation of the charging infrastructure and the supply network. Thus, the CDMS also promotes smart charging and grid services with vehicle batteries. Users are guaranteed a sufficient state of charge at the start of the journey. For vehicle owners, vehicle parking also becomes a business model by permitting the distribution network operator to use the rechargeable battery. A mobility and energy module (MEMo) serves as an interface for providing the necessary data of the vehicles and the infrastructure to the CDMS and for transmitting the control signals from the CDMS.

关键词： application programming interfaces bike sharing car sharing cloud based data management electromobility intermodal mobility mobility services public transport sustainable mobility

来源：评论

学校读者我要写书评

暂无评论

Poster: Adapter Framework for VANET Simulators

Poster: Adapter Framework for VANET Simulators

引用

IEEE Vehicular Networking Conference (VNC)

作者： Ebers, Sebastian Fischer, Stefan Univ Lubeck Inst Telemat Lubeck Germany

ISBN: (纸本)9781479976607

To evaluate applications for Vehicular Ad-Hoc Networks (VANETs) simulations are a widely used alternative to potentially costly and complex field tests. For authentic results, simulations of realistic vehicular movement and communication environment are mandatory. Usually, a traffic simulator and a network simulator are used for the first and second requirement, respectively. Some VANET simulators combine independent simulators of both domains while others implement the necessary functionality themselves. However, due to different scopes of functionality, available protocols, etc., the choice of a VANET simulator has an impact on the result. Unfortunately, VANET applications are typically implemented based on a certain VANET simulator's API. Thus, applications have to be adapted when switching between simulators. To solve this problem, we developed a framework which allows for executing VANET applications in different environments without modification. We further defined a VANET API which aims at enabling portability for VANET applications. Hence, applications can be implemented independently of the used VANET simulator and can be even run on real hardware unmodified.

关键词： application program interfaces vehicular ad hoc networks VANET API VANET simulators adapter framework vehicular ad-hoc networks Adaptation models Computational modeling Java Mobile computing Protocols Vehicular ad hoc networks V2V application programming interfaces simulator Mobile Computing Computational modeling protocols Java Java programming language Adaptation models network simulator

来源：评论

学校读者我要写书评

暂无评论

Birds of a Feather: Vamana Bhatta Bana's Hamsasandesa and Its Intertexts

引用

JOURNAL OF THE AMERICAN ORIENTAL SOCIETY 2013年第3期133卷 495-526页

作者： Bronner, Yigal Hebrew Univ Jerusalem IL-91905 Jerusalem Israel

Courier poetry is perhaps the richest and most vital literary genre of premodern South Asia, with hundreds of poems in a great variety of languages. But other than dubbing these poems "imitations" of Kalidasa's classical model, existing scholarship offers very little explanation of why this should be the case: why poets repeatedly turned to this literary form, exactly how they engaged with existing precedents, and what, if anything, was new in these many poems. In hopes of raising and beginning to answer such questions, this essay closely examines one such work, the Hamsasandesa of Vamana Bhatta Bana (fl. ca. 1400), and its close correspondence with two important intertexts. Kalidasa's Meghasandesa and Vedanta Desika's Hawasandesa. I argue that Vamana Bhatta Bana's work is an intricate mosaic that is put together from pieces both absences and presences that are taken from both these poems and that make sense only if we are familiar with their sources, and that this mosaic is nonetheless a surprisingly new and independent statement. On the basis of this analysis, I go on to suggest that novelty in the genre is partly made possible (and manifest) precisely through dense engagement with the vocabulary, figures of speech, situations, and other building blocks of the intertexts, a practice that often results in a heightened mode of density.

关键词： Love poetry Narrative poetry Geese Clouds Poetic meter Poetic themes Exile application programming interfaces

来源：评论

学校读者我要写书评

暂无评论

A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns 7

A Vision for Helping Developers Use APIs by Leveraging Tempo...

引用

7th IEEE/ACM International Workshop on Formal Methods in Software Engineering (FormaliSE)

作者： Raelijohn, Erick Famelis, Michalis Sahraoui, Houari Univ Montreal Montreal PQ Canada

ISBN: (纸本)9781728133737

To achieve any meaningful task of a certain complexity, developers need to use APIs. Learning to use them is both time consuming and cognitively demanding. We propose to leverage a formal description of API usage as temporal patterns to help developers make sense of the complexities of working with APIs. To achieve this, we propose to deploy recommender systems at various points of the development process that make these patterns useful when most needed. In this paper, we illustrate the approach on a non trivial, real world running example from Android development. The example allows us to articulate a research agenda for leveraging API usage patterns during: (a) testing and compilation times by recommending potential violations of the patterns;(b) coding time by recommending API method calls;and (c) API delivery by recommending improvements to documentation.

关键词： Testing Documentation Silicon Databases Task analysis Encoding task analysis Database Developers Documentation Silicon Apis application programming interfaces AXIAL POWER INDICATOR API American Petroleum Institute DEVELOPERS PROCESS DEVELOPMENT coding

来源：评论

学校读者我要写书评

暂无评论

Combining Workflow Templates with a Shared Space-based Execution Model 9

Combining Workflow Templates with a Shared Space-based Execu...

引用

9th Workshop on Workflows in Support of Large-Scale Science (WORKS)

作者： Balderrama, Javier Rojas Simonin, Matthieu Ramakrishnan, Lavanya Hendrix, Valerie Morin, Christine Agarwal, Deborah Tedeschi, Cedric INRIA Rennes France Lawrence Berkeley Natl Lab Berkeley CA USA Univ Rennes 1 Rennes France

ISBN: (纸本)9781479970674

The growth for scientific data has led to data analysis being a critical step in the scientific process. The next-generation scientific data analysis environment needs to address two challenges i) productivity of the end-user and ii) scalability of the workflows. The need to ensure both goals requires us to revisit the design and implementation of workflow tools. In this paper, we study the interaction of Tigres and HOCL-TS towards meeting these goals. Tigres and HOCL-TS have evolved separately;however their complementary foci allows us to study these issues in greater detail. We describe the pros and cons of an approach that integrates Tigres and HOCL-TS and HOCL-TS extension to support common non-functional requirements such as logging and monitoring that can be made available to the users through the Tigres API.

关键词： application program interfaces data analysis workflow management software HOCL-TS Tigres API next generation scientific data analysis shared space-based execution model workflow templates Chemicals Computational modeling Data analysis Engines Monitoring programming Scalability Workflow management software application programming interfaces Data analysis Scalability Engines Computational modeling programming chemical compounds Workflow Statistical analysis

来源：评论

学校读者我要写书评

暂无评论

An Extension of Radio Network Information interfaces for Connectivity Management 21

An Extension of Radio Network Information Interfaces for Con...

引用

21st International Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN)

作者： Pencheva, Evelina Tech Univ Sofia Fac Telecommun Sofia Bulgaria

ISBN: (纸本)9781538634585

Multi-access Edge Computing (MEC) converges telecommunications and cloud technology at the Radio Access Network (RAN). Taking the advantages of telecom cloud MEC allows rapid content processing at the very edge of the mobile network, delivering real-time services. The research is aimed to further develop the MEC potential for improving RAN performance parameters. The idea is to monitor UE connectivity parameters and to trigger a change of used radio technology as earlier as possible. With moving the connectivity management logic in MEC, data flows do not reach the core network. The paper proposes an extension of Radio Network Information application programming Interface (API) for connectivity management. The proposed APIs are described by information flows, data and behavioral models.

关键词： Multi-access Edge Computing Connectivity management Radio Resource Management Representational State Transfer Data model application programming interfaces

来源：评论

学校读者我要写书评

暂无评论

Handling Mission Critical Calls at the Network Edge 2

Handling Mission Critical Calls at the Network Edge

引用

2nd International Conference on Mathematics and Computers in Science and Engineering (MACISE)

作者： Atanasov, Ivaylo Pencheva, Evelina Nametkov, Aleksander Tech Univ Sofia Fac Telecommun Sofia Bulgaria

ISBN: (纸本)9781728166957

In fifth generation networks, Multi-access Edge Computing (MEC) enables deployment of applications with requirements for low latency and high reliability. In this paper, we propose an approach to handle mission critical calls using MEC technology. The approach is illustrated by typical use cases, data model, interface definition and call state models which are formally verified. The main advantage is that the approach does not require deployment of Internet Protocol Multimedia Subsystem at the network edge.

关键词： 5G Multi-access Edge Computing application programming interfaces state models bi-simulation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：