Sciweavers

1626 search results - page 128 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
SMC
2007
IEEE
172views Control Systems» more  SMC 2007»
14 years 3 months ago
Measuring semantic similarity using wordnet-based context vectors
— Semantic relatedness between words or concepts is a fundamental problem in many applications of computational linguistics and artificial intelligence. In this paper, a new mea...
Shen Wan, Rafal A. Angryk
ENTCS
2006
109views more  ENTCS 2006»
13 years 9 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
CHI
2006
ACM
14 years 9 months ago
Feeling what you hear: tactile feedback for navigation of audio graphs
Access to digitally stored numerical data is currently very limited for sight impaired people. Graphs and visualizations are often used to analyze relationships between numerical ...
Steven A. Wall, Stephen A. Brewster
POPL
2002
ACM
14 years 9 months ago
Adaptive functional programming
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
Umut A. Acar, Guy E. Blelloch, Robert Harper
ISDA
2009
IEEE
14 years 3 months ago
Similarity Analysis of Protein Binding Sites: A Generalization of the Maximum Common Subgraph Measure Based on Quasi-Clique Dete
—Protein binding sites are often represented by means of graphs capturing their most important geometrical and physicochemical properties. Searching for structural similarities a...
Imen Boukhris, Zied Elouedi, Thomas Fober, Marco M...