5550 search results - page 545 / 1110 » Different Approaches to Proof Systems |
191
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
226
click to vote
ICSR
2009
Springer
16 years 2 months ago
2009
Springer
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we implement a confidence estimation system based on a Naive Bayes classifier, by using the maximum entropy paradigm. The model takes information from various sourc...
226
click to vote
ISMAR
2008
IEEE
16 years 1 months ago
2008
IEEE
Ubiquitous Tracking (Ubitrack) setups, consisting of many previously unknown sensors, offer many possibilities to perform sensor fusion in order to increase robustness and accurac...
217
click to vote
CEEMAS
2007
Springer
16 years 1 months ago
2007
Springer
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...