Sciweavers

1638 search results - page 142 / 328
» Properties of input-consuming derivations
Sort
View
FOSAD
2000
Springer
15 years 1 months ago
Security Goals: Packet Trajectories and Strand Spaces
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
Joshua D. Guttman
ICRA
2000
IEEE
126views Robotics» more  ICRA 2000»
15 years 1 months ago
Identification and Decoupling Control of Flexure Jointed Hexapods
By exploiting properties of the joint space mass-inertia matrix of flexure jointed hexapods, a new decoupling method is proposed. The new decoupling method, through a static input...
Yixin Chen, John E. McInroy
ICCV
1995
IEEE
15 years 1 months ago
Alignment by Maximization of Mutual Information
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...
Paul A. Viola, William M. Wells III
89
Voted
KDD
1995
ACM
167views Data Mining» more  KDD 1995»
15 years 1 months ago
Efficient Algorithms for Attribute-Oriented Induction
Data mining or knowledge discovery in databasesis the search for relationships and global patterns that exist but are hidden in large databases.Many different methodshave been pro...
Hoi-Yee Hwang, Ada Wai-Chee Fu
SIGMOD
1995
ACM
88views Database» more  SIGMOD 1995»
15 years 1 months ago
Semantic Assumptions and Query Evaluation in Temporal Databases
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino...