Sciweavers

2534 search results - page 24 / 507
» A Type System for the Push-Enter Model
Sort
View
WWW
2005
ACM
14 years 9 months ago
CaTTS: calendar types and constraints for Web applications
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
François Bry, Frank-André Rieß...
FUIN
2002
100views more  FUIN 2002»
13 years 8 months ago
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
Brian Postow, Kenneth W. Regan, Carl H. Smith
MIE
2008
131views Healthcare» more  MIE 2008»
13 years 10 months ago
Supervised Approach to Recognize Question Type in a QA System for Health
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...
Sarah Cruchet, Arnaud Gaudinat, Célia Boyer
CONCUR
2001
Springer
14 years 1 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
CODES
2004
IEEE
14 years 14 days ago
Facilitating reuse in hardware models with enhanced type inference
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
Manish Vachharajani, Neil Vachharajani, Sharad Mal...