Sciweavers

708 search results - page 33 / 142
» Finding a Path to Model Consistency
Sort
View
TCS
2008
13 years 8 months ago
Nondeterministic polynomial time factoring in the tile assembly model
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
Yuriy Brun
ICML
2005
IEEE
14 years 9 months ago
Active learning for Hidden Markov Models: objective functions and algorithms
Hidden Markov Models (HMMs) model sequential data in many fields such as text/speech processing and biosignal analysis. Active learning algorithms learn faster and/or better by cl...
Brigham Anderson, Andrew Moore
SARA
2009
Springer
14 years 3 months ago
Integrating Constraint Models for Sequential and Partial-Order Planning
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
Roman Barták, Daniel Toropila
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
13 years 10 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
IJKL
2007
68views more  IJKL 2007»
13 years 8 months ago
Modelling the creation of value from intellectual capital: a Portuguese banking perspective
: Despite the widely recognised importance of intellectual capital as a vital source of competitive advantage, there is still little understanding of how organisations actually com...
Maria do Rosário Cabrita, Jorge Landeiro De...