Sciweavers

1324 search results - page 58 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
15 years 10 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
E4MAS
2006
Springer
15 years 10 months ago
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Lu...
ICCV
1995
IEEE
15 years 9 months ago
Matching Constraints and the Joint Image
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
Bill Triggs
CHI
2005
ACM
16 years 6 months ago
Creating a UX profession
Current aspirations to coordinate the UX community should be complemented by a coordinated series of professional initiatives to raise the status of the UX profession so that it c...
Nigel Bevan
ICIP
2004
IEEE
16 years 7 months ago
Towards computer-assisted photo-identification of humpback whales
This paper describes current work on a photo-id system for humpback whales. Individuals of this species can be uniquely identified by the light and dark pigmentation patches on th...
Elena Ranguelova, Mark J. Huiskes, Eric J. Pauwels