3902 search results - page 374 / 781 » Hardware Synthesis from C C Models |
181
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the co...
135
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
149
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...
206
click to vote
CDVE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. XML documents are increasingly being used to mark up various kinds of data from web content to scientific data. Often these documents need to be collaboratively created a...
188
click to vote
AAAI
2008
15 years 9 months ago
2008
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...