3679 search results - page 295 / 736 » Answer set based design of knowledge systems |
196
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
170
click to vote
ECSCW
2003
15 years 8 months ago
2003
This paper contributes to the design of Groupware Calendar Systems (GCSs) for use in domestic life. We consider a number of ethnographic studies of calendar use in domestic circums...
178
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Novel concepts are introduced for finding the relationship between multiuser detection (MUD) and multiuser transmission (MUT), so that the study in MUT can benefit from the w...
164
click to vote
CCE
2007
15 years 6 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
175
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...