Sciweavers

553 search results - page 38 / 111
» Design Principles for a System to Teach Problem Solving by M...
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
13 years 12 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
HT
2004
ACM
14 years 1 months ago
Practical applitudes: case studies of applications of the ZigZag hypermedia system
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
Adam Moore, James Goulding, Tim J. Brailsford, Hel...
ICASSP
2011
IEEE
12 years 11 months ago
Collaborative system for signal processing education
In this paper we present a collaborative system designed to develop problem solving skills in learners through problemcentric exercises. This system is part of a data collection s...
Gregory A. Krudysz, James H. McClellan
COLING
1992
13 years 8 months ago
The Kant System: Fast, Accurate, High-Quality Translation In Practical Domains
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
Eric Nyberg, Teruko Mitamura
ATAL
2003
Springer
14 years 25 days ago
Agent network topology and complexity
In this paper, we examine two multi-agent based representations of SATs and further experimentally study the topologies of resulting agent networks. We show that different repres...
Xiaolong Jin, Jiming Liu