Sciweavers

2252 search results - page 360 / 451
» Regular expression patterns
Sort
View
103
Voted
PR
2002
104views more  PR 2002»
15 years 2 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»
15 years 2 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
121
Voted
IANDC
2010
83views more  IANDC 2010»
15 years 1 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...
104
Voted
SCIENTOMETRICS
2010
100views more  SCIENTOMETRICS 2010»
15 years 29 days 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
114
Voted
COMPSAC
2010
IEEE
15 years 17 days 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