Sciweavers

3536 search results - page 229 / 708
» Local dependent components
Sort
View
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
15 years 7 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel
132
Voted
IADIS
2004
15 years 4 months ago
Multi agent knowledge discovery
A Multi Agent Decision System (MADES) is a Multi Agent System built for decision making, where a single decision is output by the system as a group, although internally many decis...
María C. Gaya, Ignacio Giráldez
157
Voted
ACL
1990
15 years 4 months ago
The Computational Complexity of Avoiding Conversational Implicatures
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
Ehud Reiter
143
Voted
MAM
2006
126views more  MAM 2006»
15 years 3 months ago
HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...
Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza...
154
Voted
WACV
2008
IEEE
15 years 10 months ago
Iris Extraction Based on Intensity Gradient and Texture Difference
Biometrics has become more and more important in security applications. In comparison with many other biometric features, iris recognition has very high recognition accuracy. Succ...
Guodong Guo, Michael J. Jones