Sciweavers

2393 search results - page 317 / 479
» Fuzzy-UCS: preliminary results
Sort
View
ADC
2007
Springer
140views Database» more  ADC 2007»
16 years 21 days ago
Incremental Mining for Temporal Association Rules for Crime Pattern Discoveries
In recent years, the concept of temporal association rule (TAR) has been introduced in order to solve the problem on handling time series by including time expressions into associ...
Vincent T. Y. Ng, Stephen Chi-fai Chan, Derek Lau,...
AIED
2007
Springer
16 years 21 days ago
Using Machine Learning Techniques to Analyze and Support Mediation of Student E-Discussions
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...
Bruce M. McLaren, Oliver Scheuer, Maarten De Laat,...
ATAL
2007
Springer
16 years 20 days ago
On Revenue-Optimal Dynamic Auctions for Bidders with Interdependent Values
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
Florin Constantin, David C. Parkes
ATVA
2007
Springer
226views Hardware» more  ATVA 2007»
16 years 20 days ago
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
David Walter, Scott Little, Chris J. Myers
CICLING
2007
Springer
16 years 20 days ago
ANERsys: An Arabic Named Entity Recognition System Based on Maximum Entropy
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
Yassine Benajiba, Paolo Rosso, José-Miguel ...