3134 search results - page 377 / 627 » Computing full disjunctions |
121
click to vote
RAS
2002
15 years 2 months ago
2002
In this paper, we present a framework for a robotic system with the ability to perform real-world manipulation tasks. The complexity of such tasks determines the precision and fre...
108
Voted
TNN
1998
15 years 2 months ago
1998
—Relaxation oscillations exhibiting more than one time scale arise naturally from many physical systems. When relaxation oscillators are coupled in a way that resembles chemical ...
105
Voted
TODAES
1998
15 years 2 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
161
click to vote
INFOCOM
2010
IEEE
15 years 28 days ago
2010
IEEE
—Many emerging information processing applications require applying various fork and join type operations such as correlation, aggregation, and encoding/decoding to data streams ...
155
click to vote
JELIA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...