961 search results - page 116 / 193 » Automatic design synthesis with artificial intelligence tech... |
122
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
146
click to vote
APN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
105
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
DRM
2008
Springer
15 years 3 months ago
2008
Springer
Content identification has many applications, ranging from preventing illegal sharing of copyrighted content on video sharing websites, to automatic identification and tagging of ...
122
click to vote
AIIDE
2006
15 years 2 months ago
2006
Reinforcement learning is an effective machine learning paradigm in domains represented by compact and discrete state-action spaces. In high-dimensional and continuous domains, ti...