Sciweavers

4743 search results - page 427 / 949
» The PlusCal Algorithm Language
Sort
View
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 3 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
JAIR
2007
146views more  JAIR 2007»
15 years 3 months ago
Reasoning with Very Expressive Fuzzy Description Logics
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, V...
COLING
2002
15 years 3 months ago
Unsupervised Word Sense Disambiguation Using Bilingual Comparable Corpora
An unsupervised method for word sense disambiguation using a bilingual comparable corpus was developed. First, it extracts statistically significant pairs of related words from th...
Hiroyuki Kaji, Yasutsugu Morimoto
PUC
2000
107views more  PUC 2000»
15 years 3 months ago
Implicit Human Computer Interaction Through Context
In this paper the term implicit human computer interaction is defined. It is discussed how the availability of processing power and advanced sensing technology can enable a shift ...
Albrecht Schmidt
ASE
1998
81views more  ASE 1998»
15 years 3 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang