14649 search results - page 414 / 2930 » Principles of problem solving |
189
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose an operational method to extract the left ventricle (LV) systole dynamics using HARmonic Phase (HARP) images extracted from tagged cardiac MR sequences. Established tec...
163
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
186
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
198
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
189
click to vote
SENSYS
2005
ACM
16 years 11 days ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...