Sciweavers

541 search results - page 28 / 109
» Language Technology Challenges of a 'Small' Language (Catala...
Sort
View
EDOC
2003
IEEE
14 years 1 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...
NDQA
2003
123views Education» more  NDQA 2003»
13 years 9 months ago
HITIQA: A Data Driven Approach to Interactive Question Answering: A Preliminary Report
HITIQA is an interactive question answering technology designed to allow intelligence analysts and other users of information systems to pose questions in natural language and obt...
Sharon Small, Nobuyuki Shimizu, Tomek Strzalkowski...
VLDB
2005
ACM
126views Database» more  VLDB 2005»
14 years 1 months ago
Hubble: An Advanced Dynamic Folder Technology for XML
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
Ning Li, Joshua Hui, Hui-I Hsiao, Kevin S. Beyer
FLOPS
2010
Springer
14 years 2 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
SETP
2007
13 years 9 months ago
Roles Versus Classes
To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusi...
Haibin Zhu