6020 search results - page 374 / 1204 » A New Approach to Model Counting |
200
click to vote
LSSC
2007
Springer
16 years 29 days 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...
167
click to vote
ISVC
2005
Springer
16 years 9 days 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...
156
click to vote
UM
2005
Springer
16 years 9 days 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...
195
click to vote
IWIA
2003
IEEE
16 years 2 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...
198
click to vote
SAC
1998
ACM
15 years 10 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...