Sciweavers

20 search results - page 2 / 4
» A Modular Reference Structure for Component-based Architectu...
Sort
View
HRI
2006
ACM
15 years 5 months ago
Structural descriptions in human-assisted robot visual learning
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
Geert-Jan M. Kruijff, John D. Kelleher, Gregor Ber...
EACL
1993
ACL Anthology
15 years 16 days ago
Type-Driven Semantic Interpretation of f-Structures
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
Jürgen Wedekind, Ronald M. Kaplan
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 4 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
ICFP
2001
ACM
15 years 11 months ago
Recursive Structures for Standard ML
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
Claudio V. Russo
OHS
2001
Springer
15 years 3 months ago
XAHM: An XML-Based Adaptive Hypermedia Model and Its Implementation
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
Mario Cannataro, Andrea Pugliese