Sciweavers

2752 search results - page 84 / 551
» Rounding to an Integral Program
Sort
View
ICMCS
2005
IEEE
93views Multimedia» more  ICMCS 2005»
14 years 2 months ago
WA-TV: Webifying and Augmenting Broadcast Content for Next-Generation Storage TV
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
Hisashi Miyamori, Qiang Ma, Katsumi Tanaka
ENTCS
2007
86views more  ENTCS 2007»
13 years 8 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
14 years 3 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
COMPSAC
2007
IEEE
14 years 3 months ago
Ontologies, JavaBeans and Relational Databases for enabling semantic programming
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
Ioannis N. Athanasiadis, Ferdinando Villa, Andrea ...
PG
2003
IEEE
14 years 2 months ago
OPENNPAR: A System for Developing, Programming, and Designing Non-Photorealistic Animation and Rendering
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
Nick Halper, Tobias Isenberg, Felix Ritter, Bert F...