2632 search results - page 413 / 527 » Alternating Timed Automata |
140
click to vote
PLANX
2007
15 years 3 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
107
click to vote
RECOSOC
2007
15 years 3 months ago
2007
Electronic equipments with higher performance, lower power consumption, and smaller size motivate the research for more efficient design methods. Platform-based design is a method...
123
click to vote
UAI
2008
15 years 3 months ago
2008
Graphical models are usually learned without regard to the cost of doing inference with them. As a result, even if a good model is learned, it may perform poorly at prediction, be...
120
Voted
BIOCOMP
2006
15 years 3 months ago
2006
The history of molecular biology is punctuated by a series of discoveries demonstrating the surprising breadth of biological roles of ribonucleic acid (RNA). An ensemble of evoluti...
110
Voted
CADUI
2006
15 years 3 months ago
2006
Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI...