Sciweavers

2330 search results - page 83 / 466
» A System for Object Class Detection
Sort
View
FM
2005
Springer
132views Formal Methods» more  FM 2005»
15 years 9 months ago
Decoupling in Object Orientation
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
Ioannis T. Kassios
FMOODS
2000
15 years 5 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
125
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Identifying Objects Using Cluster and Concept Analysis
Many approaches to support (semi-automatic) identification of objects in legacy code take the data structures as starting point for candidate classes. Unfortunately, legacy data ...
Arie van Deursen, Tobias Kuipers
ISKI
1992
15 years 8 months ago
Generic Update Operations Keeping Object-Oriented Databases Consistent
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
Christian Laasch, Marc H. Scholl
IJISTA
2010
100views more  IJISTA 2010»
15 years 2 months ago
Development of an awakening detection system with the NN and adaptation for fluctuation of brightness quantity in the captured i
Recently, accidents such that seniors fall down from the bed in care facilities or hospitals are increased. To prevent these accidents, we have developed an awakening detection sys...
Nobuhisa Yamanaka, Hironobu Satoh, Fumiaki Takeda