623 search results - page 17 / 125 » Relational Parametricity for Control Considered as a Computa... |
175
click to vote
AUTOMATICA
1999
15 years 5 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
175
click to vote
IJDMMM
2008
15 years 6 months ago
2008
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
202
click to vote
SCHEDULING
2008
15 years 5 months ago
2008
We consider the sequencing of a series of jobs that arrive at a single processor over time. At each job's arrival time, a due date must be quoted for the job, and the job must...
186
click to vote
TSP
2008
15 years 5 months ago
2008
The detection and estimation of signals in noisy, limited data is a problem of interest to many scientific and engineering communities. We present a mathematically justifiable, com...
190
click to vote
Publication
This study examines the effects of overlapping walking service areas of bus stops on the demand for bus transit. This requires controlling for variation in potential transit demand...