527 search results - page 88 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
95
Voted
VR
2009
IEEE
15 years 4 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
NIPS
2007
14 years 11 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...
89
Voted
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...