Sciweavers

2576 search results - page 283 / 516
» The Complexity of Zero Knowledge
Sort
View
BDA
2007
15 years 8 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...
161
Voted
CLIMA
2007
15 years 8 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
HCI
2007
15 years 8 months ago
Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design
Safety-critical medical work requires an error-minded approach for design of the technologies that support its processes. We define the requirements that such a framework should me...
Svetlena Taneva, Effie Law
IFIP3
2008
123views Education» more  IFIP3 2008»
15 years 8 months ago
The Web as a learning environment
The Web is widely used, in educational settings, typically as a repository of contents to be learned. Within this approach, the Web-searching process tends to be perceived merely a...
Francesco Caviglia, Maria Ferraris
IICAI
2007
15 years 8 months ago
Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking Dynamics
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...
Ugo Galassi, Attilio Giordana, Charbel Julien, Lor...