2944 search results - page 403 / 589 » On Well Quasi-orders on Languages |
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
222
click to vote
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...
194
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
182
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...
127
click to vote
ACL
2010
15 years 4 months ago
2010
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...