2153 search results - page 293 / 431 » From Requirements Models to Formal Specifications in B |
193
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...
161
click to vote
JTAER
2006
15 years 6 months ago
2006
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
174
click to vote
ISCA
2007
IEEE
16 years 20 days ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
153
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
In many vision problems, we want to infer two (or more) hidden factors which interact to produce our observations. We may want to disentangle illuminant and object colors in color...
195
click to vote
KRMED
2008
15 years 7 months ago
2008
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...