5863 search results - page 833 / 1173 » On Model-Checking of P Systems |
140
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
177
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This project uses empirical data to provide insights into the impact of open standards. This work moves beyond the existing literature by considering a large number of open standa...
145
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this study we report how different interfaces for searching the internet changed the strategies and information opportunities of voters as they searched for political informati...
140
Voted
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
: Many tools that target parallel and distributed environments must co-locate a set of daemons with the distributed processes of the target application. However, efficient and por...
161
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper provides a detailed analysis of the motion planning subsystem for the MIT DARPA Urban Challenge vehicle. The approach is based on the Rapidly-exploring Random Trees ...