BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...
BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
AACC
2004
Springer
14 years 14 days ago
2004
Springer
COMPUTE
2009
ACM
14 years 16 days ago
2009
ACM
A new technique for segmenting touching characters in upper zone of printed Gurmukhi script has been presented in this paper. The technique is based on the structural properties o...
ICAC
2009
IEEE
14 years 17 days ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
GRC
2009
IEEE
14 years 17 days ago
2009
IEEE
The Choquet integral has been applied in data mining, such as nonlinear multiregressions and nonlinear classifications. Adopting signed efficiency measure in the Choquet integral ...
GRC
2009
IEEE
14 years 17 days ago
2009
IEEE
It is well-known that one can granulate data and information in multiple ways to generate a plethora of granulation hierarchies each with their levels of granularity. It is left im...