27692 search results - page 300 / 5539 » Where is ... |
98
Voted
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
67
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Let C be a threshold logic circuit computing a Boolean function MODm : {0, 1}n → {0, 1}, where n ≥ 1 and m ≥ 2. Then C outputs “0” if the number of “1”s in an input ...
MHCI
2009
Springer
15 years 7 months ago
2009
Springer
In this article a field trial is presented that explores shopping information and navigation strategies and evaluates if the spectacles camera is beneficial as mobile device for t...
132
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— The assignment problem constitutes one of the fundamental problems in the context of linear programming. Besides its theoretical significance, its frequent appearance in the a...
76
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
CASP, Concurrent Autonomous chip self-test using Stored test Patterns, is a special kind of self-test where a system tests itself concurrently during normal operation without any ...