1799 search results - page 341 / 360 » The Logic of Correctness in Software Engineering |
183
click to vote
SOCO
2002
Springer
15 years 5 months ago
2002
Springer
A granular neural Web-based stock prediction agent is developed using the granular neural network (GNN) that can discover fuzzy rules. Stock data sets are downloaded from www.yahoo...
189
click to vote
SIMPRA
2011
15 years 26 days ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
194
click to vote
PEPM
2011
ACM
14 years 8 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
155
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
177
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...