Sciweavers

645 search results - page 73 / 129
» Pure patterns type systems
Sort
View
ICASSP
2008
IEEE
15 years 6 months ago
Automatic classification of question turns in spontaneous speech using lexical and prosodic evidence
The ability to identify speech acts reliably is desirable in any spoken language system that interacts with humans. Minimally, such a system should be capable of distinguishing be...
Sankaranarayanan Ananthakrishnan, Prasanta Ghosh, ...
SIGGRAPH
1995
ACM
15 years 3 months ago
Cellular texture generation
We proposean approachfor modeling surfacedetails such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texture-mappi...
Kurt W. Fleischer, David H. Laidlaw, Bena L. Curri...
FORTE
2003
15 years 1 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
ICFP
2003
ACM
15 years 11 months ago
FreshML: programming with binders made simple
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
COMPSAC
2003
IEEE
15 years 5 months ago
Just What Could Possibly Go Wrong In B2B Integration?
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
Dean Kuo, Alan Fekete, Paul Greenfield, Julian Jan...