Sciweavers

50 search results - page 3 / 10
» The Arithmetic-Geometric Progression Abstract Domain
Sort
View
DAGSTUHL
2003
14 years 11 months ago
Ranked representation of vector fields
Abstract Browsing and visualizing large datasets is often a tedious chore. Locating features, especially in a wavelet transform domain is usually offered as a possible solution. W...
Bala Krishna Nakshatrala, David Thompson, Raghu Ma...
85
Voted
JITE
2006
94views more  JITE 2006»
14 years 9 months ago
On the Design and Development of a UML-Based Visual Environment for Novice Programmers
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...
Brian D. Moor, Fadi P. Deek
73
Voted
TSMC
2011
289views more  TSMC 2011»
14 years 4 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
83
Voted
AIEDU
2007
101views more  AIEDU 2007»
14 years 9 months ago
Evaluating the Effect of Open Student Models on Self-Assessment
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
Antonija Mitrovic, Brent Martin
68
Voted
CP
2005
Springer
15 years 3 months ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták