Sciweavers

2774 search results - page 190 / 555
» Exploiting Deep Structure
Sort
View
FLAIRS
2004
15 years 8 months ago
ABSURDIST II: A Graph Matching Algorithm and its Application to Conceptual System Translation
ABSURDIST II, an extension to ABSURDIST, is an algorithm using attributed graph matching to find translations between conceptual systems. It uses information about the internal st...
Ying Feng, Robert L. Goldstone, Vladimir Menkov
AIPS
2000
15 years 8 months ago
Heuristics for Constraint-Directed Scheduling with Inventory
Despite the importance of the management of inventory in industrial scheduling applications, there has been little research that has addressed reasoning about inventory directly a...
J. Christopher Beck
ICASSP
2010
IEEE
15 years 6 months ago
On distance reconstruction for sensor network localization
Sensor localization typically exploits distance measurements to infer sensor positions with respect to known anchor nodes. Missing or unreliable measurements for specific nodes c...
Phillip A. Regalia, Jing Wang
ENTCS
2008
156views more  ENTCS 2008»
15 years 6 months ago
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...
Hermann Simon Lichte, Simon Oberthür
FMSD
2006
59views more  FMSD 2006»
15 years 6 months ago
Optimistic synchronization-based state-space reduction
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
Scott D. Stoller, Ernie Cohen