Sciweavers

1216 search results - page 113 / 244
» Hybrid type checking
Sort
View
ACTA
2005
87views more  ACTA 2005»
15 years 3 months ago
Hybrid networks of evolutionary processors are computationally complete
A hybrid network of evolutionary processors (an HNEP) consists of several language processors which are located in the nodes of a virtual graph and able to perform only one type o...
Erzsébet Csuhaj-Varjú, Carlos Mart&i...
166
Voted
VR
2008
IEEE
277views Virtual Reality» more  VR 2008»
15 years 3 months ago
Hybrid Feature Tracking and User Interaction for Markerless Augmented Reality
We describe a novel markerless camera tracking approach and user interaction methodology for augmented reality (AR) on unprepared tabletop environments. We propose a real-time sys...
Taehee Lee 0002, Tobias Höllerer
RAS
2010
104views more  RAS 2010»
15 years 2 months ago
A hybrid controller based on the egocentric perceptual principle
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
Zinovi Rabinovich, Nicholas R. Jennings
TSE
2010
136views more  TSE 2010»
15 years 2 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
DEXA
2010
Springer
230views Database» more  DEXA 2010»
15 years 1 months ago
Hybrid Indexing and Seamless Ranking of Spatial and Textual Features of Web Documents
Abstract. There is a significant commercial and research interest in locationbased web search engines. Given a number of search keywords and one or more locations that a user is in...
Ali Khodaei, Cyrus Shahabi, Chen Li