2004 search results - page 211 / 401 » Comparison of Model Checking Tools for Information Systems |
204
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
186
click to vote
ICPP
2008
IEEE
16 years 25 days ago
2008
IEEE
Computer manufacturers spend a huge amount of time, resources, and money in designing new systems and newer configurations, and their ability to reduce costs, charge competitive p...
165
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
170
click to vote
CAISE
2009
Springer
16 years 29 days ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
166
click to vote
VIP
2001
15 years 7 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...