Sciweavers

438 search results - page 37 / 88
» Generating VHDL models from natural language descriptions
Sort
View
ICIP
2002
IEEE
16 years 1 months ago
A method for color naming and description of color composition in images
Color is one of the main visual cues and has been frequently used in image processing, analysis and retrieval. The extraction of highlevel color descriptors is an increasingly imp...
Aleksandra Mojsilovic
ICALP
2009
Springer
16 years 3 days ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
IJCNLP
2005
Springer
15 years 5 months ago
A Machine Learning Approach to Sentence Ordering for Multidocument Summarization and Its Evaluation
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
Danushka Bollegala, Naoaki Okazaki, Mitsuru Ishizu...
ESORICS
2008
Springer
15 years 1 months ago
Cryptographic Protocol Explication and End-Point Projection
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
Jay A. McCarthy, Shriram Krishnamurthi
VL
2009
IEEE
187views Visual Languages» more  VL 2009»
15 years 6 months ago
Changing euler diagram properties by edge transformation of euler dual graphs
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...
John Howse, Peter Rodgers, Gem Stapleton