3828 search results - page 570 / 766 » Proof-Based System Engineering Using a Virtual System Model |
187
Voted
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
187
click to vote
JISBD
2000
15 years 7 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
159
click to vote
SOCO
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
188
click to vote
AAAI
2007
15 years 8 months ago
2007
Human visual capability has remained largely beyond the reach of engineered systems despite intensive study and considerable progress in problem understanding, algorithms and comp...
180
click to vote
GECCO
2009
Springer
16 years 28 days ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...