Sciweavers

1744 search results - page 173 / 349
» What's There to Talk About
Sort
View
JAVA
1999
Springer
14 years 3 months ago
Dynamic Denotational Semantics of Java
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
Jim Alves-Foss, Fong Shing Lam
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
14 years 3 months ago
Weighting Observations: The Use of Kinematic Models in Object Tracking
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
Kevin Nickels, Seth Hutchinson
SCCC
1998
IEEE
14 years 3 months ago
Dynamic Programming as Frame for Efficient Parsing
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
Manuel Vilares Ferro, Miguel A. Alonso, David Cabr...
ECML
1998
Springer
14 years 3 months ago
A Monotonic Measure for Optimal Feature Selection
Feature selection is a problem of choosing a subset of relevant features. Researchers have been searching for optimal feature selection methods. `Branch and Bound' and Focus a...
Huan Liu, Hiroshi Motoda, Manoranjan Dash
SP
1997
IEEE
112views Security Privacy» more  SP 1997»
14 years 2 months ago
Analyzing Consistency of Security Policies
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
Laurence Cholvy, Frédéric Cuppens