Sciweavers

4250 search results - page 321 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ESAW
2003
Springer
15 years 12 months ago
A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
Anthony Karageorgos, Nikolay Mehandjiev
AGP
2010
IEEE
15 years 12 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
INFOCOM
2000
IEEE
15 years 11 months ago
On the Aggregatability of Multicast Forwarding State
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
David Thaler, Mark Handley
SPIRE
1999
Springer
15 years 11 months ago
Developing a Tool to Assist Electronic Facilitation of Decision-Making Groups
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Tania Ho, Pedro Antunes
EDM
2008
117views Data Mining» more  EDM 2008»
15 years 8 months ago
Integrating Knowledge Gained From Data Mining With Pedagogical Knowledge
Abstract. Discovering knowledge from raw data is one of the goals of data mining. Yet, it is not always clear how this knowledge is used in educational computing systems and how ex...
Roland Hübscher, Sadhana Puntambekar