Sciweavers

29082 search results - page 5640 / 5817
» The Time-Triggered Model of Computation
Sort
View
FUIN
2007
130views more  FUIN 2007»
15 years 6 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
SIAMSC
2008
206views more  SIAMSC 2008»
15 years 6 months ago
The Compact Discontinuous Galerkin (CDG) Method for Elliptic Problems
We present a compact discontinuous Galerkin (CDG) method for an elliptic model problem. The problem is first cast as a system of first order equations by introducing the gradient o...
Jaime Peraire, Per-Olof Persson
AAMAS
2005
Springer
15 years 6 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
SIGPLAN
2008
15 years 6 months ago
An aspect-oriented approach to the undergraduate programming language curriculum
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
Mark A. Sheldon, Franklyn A. Turbak
IJMMS
2007
166views more  IJMMS 2007»
15 years 6 months ago
Visualization of large networks with min-cut plots, A-plots and R-MAT
What does a ‘normal’ computer (or social) network look like? How can we spot ‘abnormal’ sub-networks in the Internet, or web graph? The answer to such questions is vital f...
Deepayan Chakrabarti, Christos Faloutsos, Yiping Z...
« Prev « First page 5640 / 5817 Last » Next »