Sciweavers

2016 search results - page 254 / 404
» Megamaps: Construction and Examples
Sort
View
EGC
2005
Springer
15 years 10 months ago
XDTM: The XML Data Type and Mapping for Specifying Datasets
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
Luc Moreau, Yong Zhao, Ian T. Foster, Jens-S. V&ou...
ATAL
2004
Springer
15 years 10 months ago
Fitting and Compilation of Multiagent Models through Piecewise Linear Functions
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
David V. Pynadath, Stacy Marsella
TPHOL
2003
IEEE
15 years 10 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
15 years 9 months ago
Multivariable three-term optimal controller design for large-scale systems
— This paper deals with the design of controllers for large-scale linear time-invariant multi-input multi-output systems, such as those that often arise in process control. We fo...
Edward J. Davison, Daniel E. Davison, Simon Lam
154
Voted
PAKDD
2001
ACM
157views Data Mining» more  PAKDD 2001»
15 years 9 months ago
Applying Pattern Mining to Web Information Extraction
Information extraction (IE) from semi-structured Web documents is a critical issue for information integration systems on the Internet. Previous work in wrapper induction aim to so...
Chia-Hui Chang, Shao-Chen Lui, Yen-Chin Wu