Sciweavers

1593 search results - page 79 / 319
» A visual programming system for automated problem solving
Sort
View
94
Voted
CADE
2001
Springer
16 years 4 months ago
Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
Jörg Lücke
121
Voted
IWPC
2009
IEEE
15 years 10 months ago
Impact analysis and visualization toolkit for static crosscutting in AspectJ
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
Dehua Zhang, Ekwa Duala-Ekoko, Laurie J. Hendren
159
Voted
TPLP
2002
99views more  TPLP 2002»
15 years 3 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
147
Voted
AIEDAM
2008
102views more  AIEDAM 2008»
15 years 3 months ago
Machine invention of quantum computing circuits by means of genetic programming
We demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We ...
Lee Spector, Jon Klein
118
Voted
JUCS
2008
116views more  JUCS 2008»
15 years 3 months ago
A Workflow Language for Web Automation
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
Paula Montoto, Alberto Pan, Juan Raposo, Jos&eacut...