Sciweavers

2853 search results - page 378 / 571
» A platform for software engineering research
Sort
View
IUI
2005
ACM
14 years 3 months ago
The centrality of pivotal points in the evolution of scientific networks
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
Chaomei Chen
PEPM
2004
ACM
14 years 3 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
AUIC
2002
IEEE
14 years 3 months ago
An Evaluation of Mobile Phone Text Input Methods
The rapid growth of Short Message Service (SMS) text messaging is generating substantial commercial and research interest in fast and efficient text input methods for mobile devic...
Lee Butts, Andy Cockburn
UIST
2000
ACM
14 years 2 months ago
Interaction techniques for ambiguity resolution in recognition-based interfaces
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
Jennifer Mankoff, Scott E. Hudson, Gregory D. Abow...
TACS
1997
Springer
14 years 2 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg