Sciweavers

1512 search results - page 212 / 303
» Some Methodological Issues for Intelligent Information Syste...
Sort
View
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 7 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...
ATAL
2005
Springer
15 years 7 months ago
How Bee-Like Agents Support Cultural Heritage
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
Martí Fàbregas, Beatriz López...
POPL
2007
ACM
16 years 2 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
CSJM
2007
150views more  CSJM 2007»
15 years 1 months ago
An approach for NL text interpretation
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
Anatol Popescu, Sergiu Cretu
ESWS
2008
Springer
15 years 3 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...