2292 search results - page 233 / 459 » Structure preserving embedding |
108
click to vote
ICSE
2009
IEEE-ACM
16 years 16 days ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
162
click to vote
AIED
2009
Springer
16 years 11 days ago
2009
Springer
The aim of the project we discuss in this paper is to develop a computational model of peer learning. We present an extensive analysis of peer learning dialogues, analysis on which...
168
click to vote
COSIT
2009
Springer
16 years 10 days ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
152
click to vote
HASKELL
2009
ACM
16 years 8 days ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
168
click to vote
ICPR
2008
IEEE
16 years 6 days ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...