Sciweavers

1872 search results - page 92 / 375
» The Art of Granular Computing
Sort
View
108
Voted
ARTS
1999
Springer
15 years 5 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
129
Voted
DPPI
2007
ACM
15 years 4 months ago
A study in play, pleasure and interaction design
This paper focuses on the design of pleasurably playful interfaces within an interactive art context. It describes the development of a framework of thirteen pleasures of play and ...
Brigid M. Costello, Ernest A. Edmonds
114
Voted
CGI
2004
IEEE
15 years 4 months ago
Adaptation Mechanism for Three Dimensional Content within the MPEG-21 Framework
The goal of the research is creation of an adaptation mechanism for the delivery of threedimensional content. The adaptation of content, for various network and terminal capabilit...
HyungSeok Kim, Chris Joslin, Thomas Di Giacomo, St...
84
Voted
ACMIDC
2008
15 years 2 months ago
Semiotics artifacts, space and community: a case study on pinholes
Given the fracturing of virtual and physical spaces, young people are less involved in their local surrounding spaces. Yet, investing the community space is related to sense of co...
Françoise Decortis, Laura Lentini
81
Voted
NAACL
2010
14 years 10 months ago
Bitext-Based Resolution of German Subject-Object Ambiguities
We present a method for disambiguating syntactic subjects from syntactic objects (a frequent ambiguity) in German sentences taken from an English-German bitext. We exploit the fac...
Florian Schwarck, Alexander Fraser, Hinrich Sch&uu...