Sciweavers

1527 search results - page 52 / 306
» What About Wednesday
Sort
View
SEUS
2010
IEEE
13 years 7 months ago
Time-Predictable Computing
Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the communit...
Raimund Kirner, Peter P. Puschner
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 7 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
LLC
2011
167views more  LLC 2011»
13 years 4 months ago
Computational Phonology - Part II: Grammars, Learning, and the Future
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
Jeffrey Heinz
IUI
2012
ACM
12 years 4 months ago
Using intelligent natural user interfaces to support sales conversations
During sales conversations, gestures and mimics are of high importance to communicate information about a product. One prominent example for such sales gestures is the meat and ch...
Sven Gehring, Markus Löchtefeld, Florian Daib...
KR
2000
Springer
14 years 17 days ago
Representing the Knowledge of a Robot
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
Michael Thielscher