3706 search results - page 247 / 742 » KtSeqC: System Description |
214
Voted
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
138
Voted
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
135
click to vote
ANLP
1997
15 years 8 months ago
1997
This paper describes the design and implementation of an English-Turkish machine translation (MT) system developed as a part of the TU-Language project supported by a NATO Science...
163
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Laser photocoagulation is a proven procedure to treat various pathologies of the retina. Challenges such as motion compensation, correct energy dosage, and avoiding incid...
151
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Going My Way is a mobile user-aware route planner. The system collects GPS data of a user's everyday locations and provides directions from an automatically selected set of l...