Sciweavers

9873 search results - page 229 / 1975
» Emergent Semantics Systems
Sort
View
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 6 months ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
ACMDIS
2008
ACM
15 years 8 months ago
Envisioning systemic effects on persons and society throughout interactive system design
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...
Lisa P. Nathan, Batya Friedman, Predrag V. Klasnja...
CAISE
2006
Springer
15 years 10 months ago
Trusted Interaction: User Control and System Responsibilities in Interaction Design for Information Systems
Trust emerges from interaction. If trust in information systems is to be promoted, then attention must be directed, at least in part, to interaction design. This presentation will ...
Larry L. Constantine
FM
2009
Springer
164views Formal Methods» more  FM 2009»
16 years 1 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
HICSS
2005
IEEE
182views Biometrics» more  HICSS 2005»
16 years 6 days ago
How the Semantic Web is Being Used: An Analysis of FOAF Documents
— Semantic Web researchers have initially focused on the representation, development and use of ontologies but paid less attention to the social and structural relationships invo...
Li Ding, Lina Zhou, Timothy W. Finin, Anupam Joshi