Sciweavers

5205 search results - page 218 / 1041
» Tilings and model theory
Sort
View
TROB
2010
176views more  TROB 2010»
13 years 5 months ago
Modeling Deformations of General Parametric Shells Grasped by a Robot Hand
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
Jiang Tian, Yan-Bin Jia
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
14 years 5 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
MPC
1998
Springer
140views Mathematics» more  MPC 1998»
14 years 2 months ago
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
COMCOM
2008
120views more  COMCOM 2008»
13 years 10 months ago
Game theoretic models for detecting network intrusions
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...
Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad De...
AMC
2006
75views more  AMC 2006»
13 years 10 months ago
Distribution models of grazing animals around a grassland resource point
In this paper, the distribution of grazing animals around a resource point on a grassland was studied by using theories of stochastic process and differential equations. The resul...
Zhenqing Li, Weiming Wang