Sciweavers

432 search results - page 24 / 87
» A Formal Reuse-Based Approach for Interactively Designing Or...
Sort
View
TASE
2012
IEEE
12 years 4 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow
CHI
2006
ACM
14 years 9 months ago
Social visualization: exploring text, audio, and video interaction
In this workshop, we address the importance and uses of social visualizations. In particular, we explore visualizations of text, audio, and visual interaction data to uncover soci...
Fernanda B. Viégas, Karrie Karahalios
IUI
2010
ACM
14 years 5 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
13 years 6 months ago
Incremental Reverse Nearest Neighbor Ranking
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach fo...
Hans-Peter Kriegel, Peer Kröger, Matthias Ren...
SOCO
2009
Springer
14 years 3 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...