1336 search results - page 82 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
219
click to vote
IADIS
2003
15 years 6 months ago
2003
Intelligent tutoring systems (ITS) provide individualised instruction. They offer many advantages over the traditional classroom scenario: they are always available, non-judgement...
156
click to vote
GLOBECOM
2009
IEEE
16 years 6 days ago
2009
IEEE
—This paper analyzes the carrier-to-interference ratio of the so-called shotgun cellular system (SCS). In the SCS, basestations are placed randomly according to a two-dimensional...
164
click to vote
PE
2010
Springer
15 years 3 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
215
click to vote
TSE
2011
15 years 12 days ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
191
click to vote
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...