Sciweavers

950 search results - page 112 / 190
» Developing Law-Governed Systems Using Aspects
Sort
View
ELPUB
2007
ACM
15 years 7 months ago
Enhancing Traditional Media Services Utilising Lessons Learnt from Successful Social Media Applications - Case Studies and Frame
The paper presents a framework for describing electronic media services. The framework was created by utilising earlier models and case studies of successful social media applicat...
Asta Bäck, Sari Vainikainen
82
Voted
HCI
2007
15 years 4 months ago
Perceptive Supplementation for an Access to Graphical Interfaces
Studies using the sensory substitution devices reveal that perceptive activity itself is embodied in a living body capable of movement and possessing its own spatial dimensions. To...
Mounia Ziat, Charles Lenay, Olivier Gapenne, John ...
129
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 4 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
142
Voted
ACL
1989
15 years 4 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
ATAL
2010
Springer
15 years 3 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...