4959 search results - page 857 / 992 » Evolution maps and applications |
171
click to vote
SNPD
2008
15 years 8 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
167
click to vote
SCSC
2007
15 years 8 months ago
2007
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...
215
click to vote
SEC
2007
15 years 8 months ago
2007
Enhancing the service-oriented architecture paradigm with semantic components is a new field of research and goal of many ongoing projects. The results lead to more powerful web a...
131
click to vote
AIPS
2004
15 years 8 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
166
click to vote
ALENEX
2004
15 years 8 months ago
2004
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...