Sciweavers

2252 search results - page 360 / 451
» Regular expression patterns
Sort
View
PR
2002
104views more  PR 2002»
14 years 11 months ago
A geometric approach for the analysis and computation of the intrinsic camera parameters
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
Eduardo Bayro-Corrochano, Bodo Rosenhahn
RML
2002
94views Business» more  RML 2002»
14 years 11 months ago
The situation manager rule language
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Asaf Adi, Opher Etzion
IANDC
2010
83views more  IANDC 2010»
14 years 10 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
SCIENTOMETRICS
2010
100views more  SCIENTOMETRICS 2010»
14 years 10 months ago
A scientometric assessment of the Southern Africa Development Community: science in the tip of Africa
This article reports the results of a scientometric assessment of the Southern Africa Development Community countries. The National Science Indicators database of Thomson- Reuters...
Anastassios Pouris
COMPSAC
2010
IEEE
14 years 10 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song