Sciweavers

34181 search results - page 569 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
ICTAC
2007
Springer
15 years 11 months ago
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Cha...
ARGMAS
2005
Springer
15 years 10 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
ACHI
2009
IEEE
15 years 11 months ago
Enabling Opportunistic Navigation in Location-Based Notification Systems
Device-assisted navigation is rapidly becoming a major topic in computer science. PDAs and other small devices
Scott Kelly, Ben Hood, Jason Chong Lee, Miten Samp...
COMPUTER
2006
86views more  COMPUTER 2006»
15 years 4 months ago
Achieving Scalability in Real-Time Systems
Giorgio C. Buttazzo
COMPUTER
2006
68views more  COMPUTER 2006»
15 years 4 months ago
Designing Urban Pervasive Systems
Vassilis Kostakos, Eamonn O'Neill, Alan Penn