Sciweavers

29082 search results - page 5432 / 5817
» The Time-Triggered Model of Computation
Sort
View
ENTCS
2002
125views more  ENTCS 2002»
15 years 6 months ago
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ENTCS
2002
108views more  ENTCS 2002»
15 years 6 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
CSDA
2007
152views more  CSDA 2007»
15 years 6 months ago
Robust variable selection using least angle regression and elemental set sampling
In this paper we address the problem of selecting variables or features in a regression model in the presence of both additive (vertical) and leverage outliers. Since variable sel...
Lauren McCann, Roy E. Welsch
CGF
2002
162views more  CGF 2002»
15 years 6 months ago
Geometric Snakes for Triangular Meshes
Feature detection is important in various mesh processing techniques, such as mesh editing, mesh morphing, mesh compression, and mesh signal processing. In spite of much research ...
Yunjin Lee, Seungyong Lee
COMPSEC
2002
185views more  COMPSEC 2002»
15 years 6 months ago
A framework for understanding and predicting insider attacks
In this paper an insider attack is considered to be deliberate misuse by those who are authorized to use computers and networks. Applying this definition in real-life settings to ...
E. Eugene Schultz
« Prev « First page 5432 / 5817 Last » Next »