Sciweavers

1496 search results - page 137 / 300
» Definability of Initial Segments
Sort
View
INFOVIS
2000
IEEE
15 years 9 months ago
Interactive Problem Solving via Algorithm Visualization
COMIND is a tool for conceptual design of industrial products. It helps designers define and evaluate the initial design space by using search algorithms to generate sets of feasi...
Pearl Pu, Denis Lalanne
FAABS
2004
Springer
15 years 8 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
INTERACT
2007
15 years 6 months ago
TEMo-Chine: Tangible Emotion Machine
We examine whether or not it is possible to determine, recognize and/or report the emotional state of a group of people through touch and/or body motion. We present the initial des...
Omar Mubin, Abdullah Al Mahmud, Christoph Bartneck
153
Voted
SDM
2004
SIAM
224views Data Mining» more  SDM 2004»
15 years 6 months ago
Hierarchical Clustering for Thematic Browsing and Summarization of Large Sets of Association Rules
In this paper we propose a method for grouping and summarizing large sets of association rules according to the items contained in each rule. We use hierarchical clustering to par...
Alípio Jorge
COMSIS
2004
110views more  COMSIS 2004»
15 years 4 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin