Sciweavers

2701 search results - page 158 / 541
» On the form of witness terms
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
A research demonstration of code bubbles
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
Andrew Bragdon, Steven P. Reiss, Robert C. Zelezni...
IRFC
2010
Springer
15 years 11 months ago
Knowledge Modeling in Prior Art Search
This study explores the benefits of integrating knowledge representations in prior art patent retrieval. Key to the introduced approach is the utilization of human judgment availa...
Erik Graf, Ingo Frommholz, Mounia Lalmas, Keith va...
KR
2010
Springer
15 years 11 months ago
Finding Explanations of Inconsistency in Multi-Context Systems
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
Thomas Eiter, Michael Fink, Peter Schüller, A...
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 11 months ago
A biased approach to nonlinear robust stability with applications in adaptive control
— The nonlinear robust stability theory of Georgiou and Smith (IEEE Trans. Auto. Control, 42(9):1200–1229, 1997) is generalized to the case of notions of stability with bias te...
Mark French, Wenming Bian
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 11 months ago
Overcoming limitations of game-theoretic distributed control
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
Jason R. Marden, Adam Wierman