Sciweavers

334 search results - page 21 / 67
» Brain-like Computing Based on Distributed Representations an...
Sort
View
COORDINATION
2006
Springer
15 years 3 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
ECCV
2008
Springer
16 years 1 months ago
Robust Visual Tracking Based on an Effective Appearance Model
Most existing appearance models for visual tracking usually construct a pixel-based representation of object appearance so that they are incapable of fully capturing both global an...
Xi Li, Weiming Hu, Zhongfei Zhang, Xiaoqin Zhang
CONCUR
2010
Springer
14 years 10 months ago
On the Use of Non-deterministic Automata for Presburger Arithmetic
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
Antoine Durand-Gasselin, Peter Habermehl
DKE
2007
131views more  DKE 2007»
14 years 11 months ago
Reasoning and change management in modular ontologies
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
Heiner Stuckenschmidt, Michel C. A. Klein
CIKM
2000
Springer
15 years 4 months ago
Dimensionality Reduction and Similarity Computation by Inner Product Approximations
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
Ömer Egecioglu, Hakan Ferhatosmanoglu