Sciweavers

541 search results - page 62 / 109
» Language Technology Challenges of a 'Small' Language (Catala...
Sort
View
SIGIR
2003
ACM
14 years 1 months ago
Generating hierarchical summaries for web searches
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
Dawn J. Lawrie, W. Bruce Croft
AISC
2010
Springer
14 years 26 days ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
COOPIS
1995
IEEE
13 years 11 months ago
From Organization Models to System Requirements: A 'Cooperating Agents' Approach
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John...
AAAI
2007
13 years 10 months ago
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
Pascal Van Hentenryck, Laurent D. Michel
DAGSTUHL
2008
13 years 9 months ago
Mathematica Connectivity to Interval Libraries filib++ and C-XSC
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
Evgenija D. Popova