6167 search results - page 959 / 1234 » Can Refinement be Automated |
80
Voted
HT
2009
ACM
15 years 7 months ago
2009
ACM
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
VRST
2009
ACM
2009
ACM
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
15 years 7 months ago
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
103
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
96
Voted
BIBE
2008
IEEE
15 years 7 months ago
2008
IEEE
— The ASSIST project aims to facilitate cervical cancer research by integrating medical records containing both phenotypic and genotypic data, and residing in different medical c...
104
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...