Sciweavers

6799 search results - page 229 / 1360
» The Tao of Modeling Spaces
Sort
View
123
Voted
RSP
2003
IEEE
103views Control Systems» more  RSP 2003»
15 years 7 months ago
An Instruction Throughput Model of Superscalar Processors
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
Tarek M. Taha, D. Scott Wills
JAIR
2000
102views more  JAIR 2000»
15 years 1 months ago
A Model of Inductive Bias Learning
A major problem in machine learning is that of inductive bias: how to choose a learner's hypothesis space so that it is large enough to contain a solution to the problem bein...
Jonathan Baxter
106
Voted
UML
2000
Springer
15 years 5 months ago
A UML-based Methodology for Hypermedia Design
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
Rolf Hennicker, Nora Koch
SNPD
2004
15 years 3 months ago
Addressing State Explosion in Behavior Protocol Verification
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
Martin Mach, Frantisek Plasil
122
Voted
NIPS
2003
15 years 3 months ago
A Computational Geometric Approach to Shape Analysis in Images
We present a geometric approach to statistical shape analysis of closed curves in images. The basic idea is to specify a space of closed curves satisfying given constraints, and e...
Anuj Srivastava, Xiuwen Liu, Washington Mio, Eric ...