1689 search results - page 34 / 338 » On Natural Non-dcpo Domains |
IADIS
2008
15 years 3 months ago
2008
The aim of this paper is to present an innovative approach for generating multiple choice questions in automatic way. Although other approaches have been already reported in the l...
106
click to vote
ISIM
2007
15 years 3 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
APCCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
— It is known that radio frequency interference (RFI) degrades the performance of DMT systems for digital subscriber loops. The RFI signal, though narrowband in nature, may be sp...
123
click to vote
CSCLP
2005
Springer
15 years 7 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
102
click to vote
ISSAC
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...