1496 search results - page 197 / 300 » Definability of Initial Segments |
170
click to vote
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
141
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
160
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
168
click to vote
ECEASST
2006
15 years 5 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
141
click to vote
SIGUCCS
2009
ACM
16 years 9 days ago
2009
ACM
Conference Abstracts October 11-14, 2009 t provides the abstracts and the author(s)’ name(s) for the technical program. The actual presenter(s) may vary. Updated September 20, 20...