3564 search results - page 334 / 713 » Evaluating a Formal Modelling Language |
131
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
141
Voted
NN
2008
Springer
15 years 4 months ago
2008
Springer
Research into the visual perception of human emotion has traditionally focused on the facial expression of emotions. Recently researchers have turned to the more challenging field...
143
click to vote
EACL
2003
ACL Anthology
15 years 6 months ago
2003
ACL Anthology
We describe experiments with a Naive Bayes text classifier in the context of anti-spam E-mail filtering, using two different statistical event models: a multi-variate Bernoulli ...
155
Voted
JSW
2008
15 years 4 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
127
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...