Sciweavers

3435 search results - page 365 / 687
» Aspect Model Unweaving
Sort
View
ISSTA
2004
ACM
16 years 3 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
WAPCV
2004
Springer
16 years 1 days ago
Towards a Biologically Plausible Active Visual Search Model
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
Andrei Zaharescu, Albert L. Rothenstein, John K. T...
ROBOCUP
1999
Springer
102views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
A Method for Localization by Integration of Imprecise Vision and a Field Model
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
Kazunori Terada, Kouji Mochizuki, Atsushi Ueno, Hi...
EUROCAST
1997
Springer
156views Hardware» more  EUROCAST 1997»
15 years 11 months ago
A Computational Model for Visual Size, Location and Movement
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
Miguel Alemán-Flores, K. Nicholas Leibovic,...
ER
2000
Springer
114views Database» more  ER 2000»
15 years 10 months ago
From Web Sites to Web Applications: New Issues for Conceptual Modeling
Abstract E-commerce, web-based booking systems, and on-line auction systems are only a few examples that demonstrate how WWW sites are evolving from hypermedia information reposito...
Luciano Baresi, Franca Garzotto, Paolo Paolini