Sciweavers

16216 search results - page 3006 / 3244
» Effective Modeling with Constraints
Sort
View
DKE
2008
85views more  DKE 2008»
15 years 6 months ago
On automatic knowledge validation for Bayesian knowledge bases
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
Eugene Santos Jr., Hang T. Dinh
DSS
2008
114views more  DSS 2008»
15 years 6 months ago
Price formation and its dynamics in online auctions
This research uses functional data modelling to study the price formation process of online auctions. It conceptualizes the price curve and its first and second derivatives (veloc...
Ravi Bapna, Wolfgang Jank, Galit Shmueli
ACTAC
2006
126views more  ACTAC 2006»
15 years 6 months ago
Named Entity Recognition for Hungarian Using Various Machine Learning Algorithms
In this paper we introduce a statistical Named Entity recognizer (NER) system for the Hungarian language. We examined three methods for identifying and disambiguating proper nouns...
Richárd Farkas, György Szarvas, Andr&a...
ENTCS
2008
170views more  ENTCS 2008»
15 years 6 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
ANOR
2006
82views more  ANOR 2006»
15 years 6 months ago
The efficiency of joint decision making in buyer-supplier relationships
This paper examines the effectiveness of joint decision making within 87 pairs of buyer-supplier relationships in manufacturing. Joint decision making is an important attribute of ...
Markus Biehl, Wade D. Cook, David A. Johnston
« Prev « First page 3006 / 3244 Last » Next »