Sciweavers

6306 search results - page 218 / 1262
» Space, Time, and the Use of Language
Sort
View
AI
1999
Springer
14 years 10 months ago
Understanding Mechanical Motion: From Images to Behaviors
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
Tzachi Dar, Leo Joskowicz, Ehud Rivlin
81
Voted
CSL
2004
Springer
15 years 2 months ago
A Functional Scenario for Bytecode Verification of Resource Bounds
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...
EMO
2003
Springer
81views Optimization» more  EMO 2003»
15 years 4 months ago
Solving Hierarchical Optimization Problems Using MOEAs
Abstract. In this paper, we propose an approach for solving hierarchical multi-objective optimization problems (MOPs). In realistic MOPs, two main challenges have to be considered:...
Christian Haubelt, Sanaz Mostaghim, Jürgen Te...
EUROCAST
2009
Springer
143views Hardware» more  EUROCAST 2009»
15 years 5 months ago
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms
Abstract. In this work we consider the application of metaheuristic algorithms to the problem of fitting rectangular signals to time-data series. The application background is to ...
Andreas M. Chwatal, Günther R. Raidl
90
Voted
AIA
2007
15 years 11 days ago
Adaptive preference elicitation for top-K recommendation tasks using GAI-networks
The enormous number of questions needed to acquire a full preference model when the size of the outcome space is large forces us to work with partial models that approximate the u...
Sérgio R. de M. Queiroz