527 search results - page 88 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
145
click to vote
ICLP
2007
Springer
16 years 6 days 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...
181
Voted
GECCO
2009
Springer
16 years 19 days 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...
181
click to vote
VR
2009
IEEE
16 years 24 days 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...
175
click to vote
NIPS
2007
15 years 7 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...
158
click to vote
CIKM
2007
Springer
16 years 7 days 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...