1045 search results - page 25 / 209 » Stepping into the Interactive Drama |
TVLSI
2008
14 years 11 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
101
click to vote
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
116
click to vote
MAGS
2008
14 years 11 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
VISUALIZATION
2000
IEEE
15 years 4 months ago
2000
IEEE
The study of time dependent characteristics of proteins is important for gaining insight into many biological processes. However, visualizing protein dynamics by animating atom tr...
MICS
2010
14 years 10 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...