1593 search results - page 203 / 319 » A visual programming system for automated problem solving |
142
click to vote
TCOM
2010
15 years 2 months ago
2010
Abstract—This paper considers the problem of Gaussian symbols detection in MIMO systems in the presence of channel estimation errors. Under this framework we develop a computatio...
157
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
131
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
This is a high level computer vision paper, which employs concepts from Natural Language Understanding in solving the video retrieval problem. Our main contribution is the utiliza...
140
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
227
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...