1860 search results - page 226 / 372 » Structured Multimedia Authoring |
167
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
179
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
153
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract DBpedia is a community effort to extract structured information from Wikipedia and to make this information available on the Web. DBpedia allows you to ask sophisticated ...
148
click to vote
ICALT
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
156
click to vote
DATE
2005
IEEE
16 years 11 hour ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...