Sciweavers

234 search results - page 17 / 47
» Using the Electric Field Approach in the RoboCup Domain
Sort
View
TC
2010
13 years 6 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
BMVC
2010
13 years 5 months ago
Background Modelling on Tensor Field for Foreground Segmentation
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
Rui Caseiro, Jorge Batista, Pedro Martins
TVCG
2010
116views more  TVCG 2010»
13 years 5 months ago
Streak Lines as Tangent Curves of a Derived Vector Field
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
Tino Weinkauf, Holger Theisel
IEEESCC
2008
IEEE
14 years 1 months ago
Development Tool for Service-Oriented Applications in Smart Homes
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
Jianqi Yu, Philippe Lalanda, Stéphanie Chol...
CLEIEJ
2002
121views more  CLEIEJ 2002»
13 years 7 months ago
Methodological Approach for Developing a KMS: A Case Study
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, me...
Anna Grimán, Teresita Rojas, María A...