Sciweavers

1593 search results - page 243 / 319
» A visual programming system for automated problem solving
Sort
View
129
Voted
COGSR
2011
105views more  COGSR 2011»
14 years 10 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
135
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
CHI
2005
ACM
16 years 4 months ago
Vista: interactive coffee-corner display
In the contemporary information-saturated world, there is a need for an easier, faster, and more social way to keep office workers updated and better aware of surrounding activiti...
Marcin Wichary, Lucy T. Gunawan, Nele Van den Ende...
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
Supporting Evolution of Interface Exceptions
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...
Anna Mikhailova, Alexander B. Romanovsky
147
Voted
DAC
2002
ACM
16 years 4 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton