Sciweavers

4965 search results - page 201 / 993
» A Simple Abstraction for Data Modeling
Sort
View
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
15 years 1 months ago
Modeling and evaluation of decision-making dynamics in sequential two-alternative forced choice tasks
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...
Caleb Woodruff, Kristi A. Morgansen, Linh Vu, Damo...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 10 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
DEXAW
1995
IEEE
93views Database» more  DEXAW 1995»
15 years 10 months ago
Meta Modeling for End User Computing
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
J. H. ter Bekke
RTAS
2003
IEEE
15 years 11 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee
ICIP
2006
IEEE
16 years 8 months ago
Variational Unsupervised Segmentation of Multi-Look Complex Polarimetric Images using a Wishart Observation Model
We address unsupervised variational segmentation ofmulti-look complex polarimetric images using a Wishart observation model via level sets. The methods consists of minimizing a fu...
Ismail Ben Ayed, Amar Mitiche, Ziad Belhadj