782 search results - page 133 / 157 » Supporting the analytical reasoning process in information v... |
ZUM
1997
Springer
14 years 24 days ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
NECO
2011
13 years 3 months ago
2011
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of co...
ISTA
2008
13 years 10 months ago
2008
Abstract. The Bologna Process [1] has triggered a major restructuring of the current university diploma into a bachelor/master system. As one effect, the administration effort for ...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Reliable recognition of objects is an important capabaility in the progress towards getting agents to accomplish and assist in a variety of useful tasks such as search and rescue ...
3DPVT
2004
IEEE
14 years 12 days ago
2004
IEEE
Looking around in our every day environment, many of the encountered objects are specular to some degree. Actively using this fact when reconstructing objects from image sequences...