2702 search results - page 217 / 541 » Practically Applicable Formal Methods |
89
Voted
IEEEIAS
2007
IEEE
15 years 5 months ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
RC
2002
14 years 10 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
92
Voted
ECIS
2000
15 years 11 days ago
2000
: Both the information base, on which IS research and practice is founded, and its accessibility continue to grow rapidly. A major challenge facing the IS community in the next dec...
AIME
2007
Springer
15 years 5 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
157
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...