4036 search results - page 489 / 808 » Formal Methods |
216
click to vote
DKE
2011
15 years 1 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
156
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
The field of algorithms for pairwisc biosequence similarity search is dominated by heuristic methods of high efficiency but uncertain sensitivity. One reason that more formal stri...
160
click to vote
IMA
2005
Springer
16 years 6 days ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
168
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...
174
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...