1536 search results - page 68 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
101
click to vote
LRE
2006
14 years 9 months ago
2006
Web searchers reformulate their queries, as they adapt to search engine behavior, learn more about a topic, or simply correct typing errors. Automatic query rewriting can help user...
EXPERT
2002
14 years 9 months ago
2002
names in the same abstract already indicates a relation between them. Because of its simplicity, we can apply this approach to large amounts of text and establish interaction netwo...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
100
click to vote
UTP
2010
14 years 8 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
104
click to vote
SASO
2010
IEEE
14 years 7 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...