Sciweavers

805 search results - page 129 / 161
» Semantic Modeling of Places using Objects
Sort
View
140
Voted
FASE
2001
Springer
15 years 8 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
115
Voted
HPCC
2007
Springer
15 years 7 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
111
Voted
IJCAI
1993
15 years 4 months ago
A Representationalist Theory of Intention
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
Kurt Konolige, Martha E. Pollack
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
15 years 9 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
150
Voted
GI
2009
Springer
15 years 1 months ago
Content-sensitive User Interfaces for Annotated Web Pages
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
Florian Schmedding