Sciweavers

2722 search results - page 394 / 545
» Automating Language Evolution
Sort
View
ASWEC
2007
IEEE
15 years 10 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
113
Voted
ECBS
2007
IEEE
149views Hardware» more  ECBS 2007»
15 years 10 months ago
Component-Based System Integration via (Meta)Model Composition
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
Krishnakumar Balasubramanian, Douglas C. Schmidt, ...
134
Voted
ICDM
2007
IEEE
179views Data Mining» more  ICDM 2007»
15 years 10 months ago
GDClust: A Graph-Based Document Clustering Technique
This paper introduces a new technique of document clustering based on frequent senses. The proposed system, GDClust (Graph-Based Document Clustering) works with frequent senses ra...
M. Shahriar Hossain, Rafal A. Angryk
130
Voted
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 10 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
123
Voted
ICTAI
2007
IEEE
15 years 10 months ago
A Methodology for Reader's Emotional State Extraction to Augment Expressions in Speech Synthesis
This paper presents a methodology for the real-time extraction of readers’ emotional state from documents as well as the representation of emotionally annotated documents into a...
Dimitrios Tsonos, Gerasimos Xydas, Georgios Kourou...