Sciweavers

2685 search results - page 332 / 537
» A Formal Semantics for SPKI
Sort
View
FOIS
2006
15 years 8 months ago
The Instrumental Stit A Study of Action and Instrument
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
Pawel Garbacz
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
An XML vocabulary for soft computing
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
Adolfo R. de Soto, Conrado A. Capdevila, Eva Cuerv...
AAAI
1998
15 years 8 months ago
An Ontology for Transitions in Physical Dynamic Systems
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
FIW
2000
147views Communications» more  FIW 2000»
15 years 8 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner
HCI
1993
15 years 8 months ago
Quantitative Measures for Evaluating Human-Computer Interfaces
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
Matthias Rauterberg