Sciweavers

2880 search results - page 243 / 576
» Types are calling conventions
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
Structured and incoherent parametric dictionary design
A new dictionary selection approach for sparse coding, called parametric dictionary design, has recently been introduced. The aim is to choose a dictionary from a class of admissi...
Mehrdad Yaghoobi, Laurent Daudet, Michael E. Davie...
AO
2007
124views more  AO 2007»
15 years 6 months ago
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
In open heterogeneous multi-agent systems, communication is hampered by lack of common ontologies. Ontologies may differ in naming conventions, granularity and scope. In such an en...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
CCR
2008
91views more  CCR 2008»
15 years 6 months ago
UFO: a resilient layered routing architecture
Conventional wisdom has held that routing protocols cannot achieve both scalability and high availability. Despite scaling relatively well, today's Internet routing system do...
Yaping Zhu, Andy C. Bavier, Nick Feamster, Sampath...
COMPSEC
2008
138views more  COMPSEC 2008»
15 years 6 months ago
SMSSec: An end-to-end protocol for secure SMS
Short Message Service is usually used to transport unclassified information, but with the rise of mobile commerce it has become an integral tool for conducting business. However S...
Johnny Li-Chang Lo, Judith Bishop, Jan H. P. Eloff
ASE
2006
122views more  ASE 2006»
15 years 6 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark