1648 search results - page 111 / 330 » Structuring namespace descriptions |
181
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
139
click to vote
ICDCSW
2005
IEEE
16 years 12 days ago
2005
IEEE
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
204
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
144
click to vote
AC
2003
Springer
16 years 16 hour ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
275
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...