6607 search results - page 357 / 1322 » Making TeX Work |
134
click to vote
QUESTA
2007
15 years 4 months ago
2007
We consider the estimation of arrival and service rates for queues based on queue length data collected at successive, not necessarily equally spaced, time points. In particular, ...
145
click to vote
PUC
2008
15 years 4 months ago
2008
Abstract We consider the emergence of hybrid ecologies, which marry mixed reality environments and ubiquitous computing environments together to bridge the physical-digital divide....
133
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
142
click to vote
IS
2010
15 years 3 months ago
2010
Abstract—In this paper we present work on adaptive identification of learners’ strategies, gradually developing a higher level of adaptation based on evolving models of mathem...
131
click to vote
ISSE
2010
15 years 3 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...