Sciweavers

3971 search results - page 220 / 795
» On the Use of Properties in Java Applications
Sort
View
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
IJNSEC
2010
98views more  IJNSEC 2010»
15 years 1 months ago
A Random Bit Generator Using Chaotic Maps
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
Narendra K. Pareek, Vinod Patidar, Krishan K. Sud
ICRA
2006
IEEE
94views Robotics» more  ICRA 2006»
16 years 17 days ago
Totally Distributed Motion Control of Sphere World Multi-agent Systems using Decentralized Navigation Functions
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
Dimos V. Dimarogonas, Kostas J. Kyriakopoulos, Dim...
CVPR
2012
IEEE
13 years 9 months ago
2D/3D rotation-invariant detection using equivariant filters and kernel weighted mapping
In many vision problems, rotation-invariant analysis is necessary or preferred. Popular solutions are mainly based on pose normalization or brute-force learning, neglecting the in...
Kun Liu, Qing Wang, Wolfgang Driever, Olaf Ronnebe...
LREC
2010
156views Education» more  LREC 2010»
15 years 5 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas