1285 search results - page 61 / 257 » Information systems revisited - the general continuous case |
145
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
201
click to vote
AGI
2011
14 years 9 months ago
2011
Inspired by a broader perspective viewing intelligent system dynamics in terms of the geometry of “cognitive spaces,” we conduct a preliminary investigation of the application ...
153
click to vote
COLING
2000
15 years 7 months ago
2000
In developing an Infbrmation Extraction tIE) system tbr a new class of events or relations, one of the major tasks is identifying the many ways in which these events or relations ...
157
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...
164
click to vote
ICHIT
2009
Springer
15 years 3 months ago
2009
Springer
As the popularity of the internet continues growing, not only change our life, but also change the way of crime. Number of crime by computer as tools, place or target, cases of su...