5863 search results - page 767 / 1173 » On Model-Checking of P Systems |
167
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
—This work summarizes challenges and experiences in monetizing user activity on public forums on social network sites. We present a approach that identifies the monetization pot...
180
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
195
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
180
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The Tunnel-MILP algorithm is a three stage path planning method for 2-D environments that relies on the identification of a sequence of convex polygons to form an obstacle fre...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...