11063 search results - page 186 / 2213 » On the existence of universal models |
160
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
151
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The main aim of this paper is to consider university examination timetabling problems as multicriteria decision problems. A new multicriteria approach to solving such problems is p...
163
click to vote
LREC
2010
15 years 8 months ago
2010
The paper describes some of the work carried out within the European funded project MEDAR. The project has three streams of activity: the technical stream, the cooperation stream ...
234
click to vote
MIXER
2004
15 years 8 months ago
2004
Augmented Reality (AR) is a newly emerging user interface paradigm that is currently under rapid development. AR is still in its infancy. Only very few cases exist, in which AR te...
196
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
For a stationary stochastic process {Xn} with values in some set A, a finite word w AK is called a memory word if the conditional probability of X0 given the past is constant on t...