Sciweavers

1328 search results - page 74 / 266
» Cut-free common knowledge
Sort
View
193
Voted
ACMSE
2011
ACM
14 years 3 months ago
Targeting FPGA-based processors for an implementation-driven compiler construction course
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
D. Brian Larkins, William M. Jones
142
Voted
AAAI
2012
13 years 6 months ago
Manifold Warping: Manifold Alignment over Time
Knowledge transfer is computationally challenging, due in part to the curse of dimensionality, compounded by source and target domains expressed using different features (e.g., do...
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan
145
Voted
BMCBI
2007
151views more  BMCBI 2007»
15 years 3 months ago
The Genopolis Microarray Database
Background: Gene expression databases are key resources for microarray data management and analysis and the importance of a proper annotation of their content is well understood. ...
Andrea Splendiani, Marco Brandizi, Gael Even, Otta...
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
15 years 10 months ago
Eliciting Conceptual Models to Support Interdisciplinary Research
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
Pieter J. Beers, Pieter W. G. Bots
119
Voted
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
15 years 10 months ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh