3119 search results - page 326 / 624 » Abstract Requirement Analysis in Multiagent System Design |
126
click to vote
PLSA
1994
15 years 9 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
150
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...
138
click to vote
JSAC
2006
15 years 5 months ago
2006
Abstract--A conventional transmitted reference (TR) modulation scheme is an effective means to combat severe multipath distortion in an ultra-wideband (UWB) system, significantly r...
150
click to vote
SCIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Filter networks, i.e. decomposition of a filter set into a layered structure of sparse subfilters has been proven successful for e.g. efficient convolution using finit...
131
click to vote
TACAS
2010
Springer
16 years 6 hour ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...