6020 search results - page 374 / 1204 » A New Approach to Model Counting |
227
click to vote
LSSC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
181
Voted
ISVC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
173
click to vote
UM
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an evaluation study that measures the effect of modifying feedback generality in an Intelligent Tutoring System (ITS) based on Student Models. A taxonomy of the...
217
Voted
IWIA
2003
IEEE
16 years 25 days ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
222
Voted
SAC
1998
ACM
15 years 11 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...