4679 search results - page 395 / 936 » Modeling When Connections Are the Problem |
176
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
190
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper links two a priori different topics, group testing and traitor tracing. Group testing, as an instantiation of a compressed sensing problem over binary data, is indeed e...
162
Voted
WECWIS
2005
IEEE
16 years 10 days ago
2005
IEEE
Web services are software artifacts that can be accessed over the Internet. They can be seen as pay-per-view functionalities that are exposed by some service providers. If there a...
199
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
177
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...