2540 search results - page 263 / 508 » Abstract Logics as Dialgebras |
191
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
175
Voted
MKM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
180
Voted
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
143
click to vote
SAMOS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract— This paper explores the resistance of MOS Current Mode Logic (MCML) against Differential Power Analysis (DPA) attacks. Circuits implemented in MCML, in fact, have uniqu...
209
click to vote
TIME
2006
IEEE
16 years 22 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...