Sciweavers

28080 search results - page 5482 / 5616
» Multimedia Information Systems
Sort
View
154
Voted
WLP
2007
Springer
15 years 7 months ago
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
Martin Gebser, Jörg Pührer, Torsten Scha...
141
Voted
IAT
2006
IEEE
15 years 7 months ago
Trust Negotiations with Customizable Anonymity
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...
Anna Cinzia Squicciarini, Abhilasha Bhargav-Spantz...
139
Voted
ICDE
2006
IEEE
127views Database» more  ICDE 2006»
15 years 7 months ago
Processing Recursive XQuery over XML Streams: The Raindrop Approach
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
Mingzhu Wei, Ming Li, Elke A. Rundensteiner, Mural...
ICRA
2006
IEEE
117views Robotics» more  ICRA 2006»
15 years 7 months ago
A Neurally Controlled Robot Competes and Cooperates with Humans in Segway Soccer
— A new RoboCup soccer league is being developed, focusing on human-robot interaction. In this league each team consists of both a human player, mounted on a Segway HT scooter, a...
Jason Fleischer, Botond Szatmáry, Donald Hu...
125
Voted
IEEEPACT
2006
IEEE
15 years 7 months ago
Compiling for stream processing
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
Abhishek Das, William J. Dally, Peter R. Mattson
« Prev « First page 5482 / 5616 Last » Next »