5267 search results - page 611 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
229
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
211
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
238
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...
177
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
222
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
The rapid popularization of digital cameras and mobile phone cameras has lead to an explosive growth of consumer photo collections. In this paper, we present a (quasi) real-time t...