Sciweavers

1711 search results - page 180 / 343
» Completing pseudojump operators
Sort
View
PVLDB
2010
122views more  PVLDB 2010»
13 years 6 months ago
Avalanche-Safe LINQ Compilation
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
Torsten Grust, Jan Rittinger, Tom Schreiber
SMC
2010
IEEE
117views Control Systems» more  SMC 2010»
13 years 6 months ago
The role of shared-control in BCI-based telepresence
—This paper discusses and evaluates the role of shared control approach in a BCI-based telepresence framework. Driving a mobile device by using human brain signals might improve ...
Luca Tonin, Robert Leeb, Michele Tavella, Serafeim...
TCS
2010
13 years 6 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
CIKM
2010
Springer
13 years 6 months ago
Computing the top-k maximal answers in a join of ranked lists
Complex search tasks that utilize information from several data sources, are answered by integrating the results of distinct basic search queries. In such integration, each basic ...
Mirit Shalem, Yaron Kanza
CSREAESA
2010
13 years 6 months ago
The First Clock Cycle Is A Real BIST
The primary goal of Built-In Self-Test (BIST) for Field Programmable Gate Arrays (FPGAs) is to completely test all programmable logic and routing resources in the device such that ...
Charles E. Stroud, Bradley F. Dutton