Sciweavers

3013 search results - page 313 / 603
» Context-Oriented Domain Analysis
Sort
View
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 6 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
ML
2006
ACM
15 years 6 months ago
A Unified View on Clustering Binary Data
Clustering is the problem of identifying the distribution of patterns and intrinsic correlations in large data sets by partitioning the data points into similarity classes. This p...
Tao Li
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
BC
2005
65views more  BC 2005»
15 years 6 months ago
A field-theoretic approach to understanding scale-free neocortical dynamics
Amesoscopicfield-theoreticapproachiscompared with neural network and brain imaging approaches to understanding brain dynamics. Analysis of high spatiotemporal resolution rabbit ele...
Walter J. Freeman
TSMC
2008
89views more  TSMC 2008»
15 years 6 months ago
A Probabilistic Wavelet System for Stochastic and Incomplete Data-Based Modeling
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
Zhi Liu, Han-Xiong Li, Yun Zhang