Sciweavers

10666 search results - page 1492 / 2134
» Quantum programming languages
Sort
View
AADEBUG
2005
Springer
15 years 9 months ago
On the design of a pervasive debugger
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
Alex Ho, Steven Hand
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
15 years 9 months ago
Textual Modelling Embedded into Graphical Modelling
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
Markus Scheidgen
AAAI
2010
15 years 8 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
FLAIRS
2001
15 years 8 months ago
A Background Layer of Health Monitoring and Error Handling for ObjectAgent
ObjectAgent is an agent-based, message-passing software architecture that utilizes natural language processing to provide autonomous control to complex systems. As a form of distr...
Joseph B. Mueller, Derek M. Surka, Joy J. Lin
WSCG
2001
83views more  WSCG 2001»
15 years 8 months ago
A Digital Teletext Service
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
Chengyuan Peng, Petri Vuorimaa
« Prev « First page 1492 / 2134 Last » Next »