Sciweavers

7681 search results - page 114 / 1537
» Typed Membrane Systems
Sort
View
DBPL
1999
Springer
102views Database» more  DBPL 1999»
15 years 9 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 6 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 11 days 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
167
Voted
ICSE
2007
IEEE-ACM
15 years 11 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
15 years 12 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