Sciweavers

5787 search results - page 495 / 1158
» Generic User Modeling Systems
Sort
View
QEST
2010
IEEE
15 years 5 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
ICECCS
1995
IEEE
100views Hardware» more  ICECCS 1995»
15 years 10 months ago
POSD-a notation for presenting complex systems of processes
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
Peter Henderson, Graham D. Pratten
PRESENCE
2006
197views more  PRESENCE 2006»
15 years 7 months ago
A Spring Model for Whole-Hand Virtual Grasping
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...
Christoph W. Borst, Arun P. Indugula
GLOBECOM
2006
IEEE
16 years 1 months ago
Collision Model for Bit Error Rate analysis of Time Hopping Impulse Radio in Multipath Nakagami-m Channels
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
L. Reggiani, Umberto Spagnolini
ISCI
2007
105views more  ISCI 2007»
15 years 7 months ago
Cost modeling of spatial operators using non-parametric regression
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
Songtao Jiang, Byung Suk Lee, Zhen He