Sciweavers

6201 search results - page 249 / 1241
» Implementation of Axiomatic Language
Sort
View
GECCO
2004
Springer
15 years 11 months ago
Metaheuristics for Natural Language Tagging
Abstract. This work compares different metaheuristics techniques applied to an important problem in natural language: tagging. Tagging amounts to assigning to each word in a text ...
Lourdes Araujo, Gabriel Luque, Enrique Alba
ICCS
2004
Springer
15 years 11 months ago
KNAML: A Knowledge Representation Language for Distributed Reasoning
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
Gordon Streeter, Andrew Potter
HAPTICS
2002
IEEE
15 years 10 months ago
Building a Task Language for Segmentation and Recognition of User Input to Cooperative Manipulation Systems
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
C. Sean Hundtofte, Gregory D. Hager, Allison M. Ok...
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
15 years 9 months ago
Program Slicing of Hardware Description Languages
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
LCPC
1999
Springer
15 years 9 months ago
High Performance Numerical Computing in Java: Language and Compiler Issues
Poor performance on numerical codes has slowed the adoption of Java within the technical computing community. In this paper we describe a prototype array library and a research pr...
Pedro V. Artigas, Manish Gupta, Samuel P. Midkiff,...