Sciweavers

7681 search results - page 114 / 1537
» Typed Membrane Systems
Sort
View
DBPL
1999
Springer
102views Database» more  DBPL 1999»
15 years 11 months ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
CHI
2008
ACM
16 years 7 months ago
Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
James Clawson, Kent Lyons, Alex Rudnick, Robert A....
CBMS
2009
IEEE
16 years 1 months ago
Inferring grant support types from online biomedical articles
The category of institution or organization underwriting the research reported in a scientific article is a required field (Grant Support type) in the bibliographic record of that...
Jongwoo Kim, Daniel X. Le, George R. Thoma
ICSE
2007
IEEE-ACM
16 years 1 months ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri
IJCNN
2008
IEEE
16 years 1 months ago
Robust adaptive control via neural linearization and four types of compensation
— In this paper, we propose a new type of neural adaptive control via dynamic neural networks. For a class of unknown nonlinear systems, a neural identifierFbased feedback linea...
Wen Yu, Xiaoou Li