3238 search results - page 369 / 648 » On the Computational Interpretation of Negation |
177
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— We explore an algorithm and methodology for realtime video compression and communication over sensor network. Video is encoded using the address-event representation (A...
182
click to vote
BPM
2007
Springer
16 years 25 days ago
2007
Springer
Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these...
173
click to vote
CIE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
175
click to vote
EVOW
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
147
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....